√лавна€    Ex Libris     ниги    ∆урналы    —татьи    —ерии     аталог    Wanted    «агрузка    ’удЋит    —правка    ѕоиск по индексам    ѕоиск    ‘орум   
square ѕервый курс

square ¬торой курс

square “ретий курс

square „етвертый курс

square ѕ€тый курс

ѕоиск по указател€м

–езультат поиска

ѕоиск книг, содержащих: Normal form

 нига—траницы дл€ поиска
Sornette D. Ч Critical phenomena in natural sciences
Jurafsky D., Martin J.H. Ч Speech and Language Processing343, 344
Girard J.-Y., Taylor P., Lafont Y. Ч Proofs and Types18, 76
Chagrov A., Zakharyaschev M. Ч Modal logic375
Aqaian S., Astola J., Egiazarian K. Ч Binary polynomial transforms and nonlinear digital filters96, 112, 115, 117
Mishra B. Ч Algorithmic algebra80
Hoffman K., Kunze R. Ч Linear algebra257, 261
Wedderburn J.H.M. Ч Lectures on Matrices34
Becker T., Weispfenning V. Ч Groebner bases and commutative algebra175, 196
Kreuzer M., Robbiano L. Ч Computational commutative algebra 173, 113
Bergman S. Ч The Kernel Function and Conformal Mapping112
Farkas H., Kra I. Ч Riemann Surfaces16
Conte R. Ч Painleve Property: One Century Later317
Wallace M. Ч Communicating with Databases in Natural Language96
Drazin P. Ч Introduction to Hydrodynamic Stability82
Behnke H., Bachmann F., Fladt K. Ч Fundamentals of Mathematics, Volume III: Analysis323
Knopp K. Ч Elements of the Theory of Functions57
Kollar J. Ч Rational Curves on Algebraic VarietiesIV.4.4.5, p. 211
Sun J.Q. (Ed), Luo A.C. (Ed) Ч Bifurcation and Chaos in Complex Systems14, 296
Hazewinkel M. (ed.) Ч Handbook of Algebra, Volume 4437
Liao X., Wang L., Yu P. Ч Stability of Dynamical Systems, Vol. 5591Ч595, 597, 602, 609, 614, 619, 633, 644, 649, 653, 657, 666, 669
Lynch S. Ч Dynamical Systems with Applications Using MathematicaЃ128, 134
Halmos P.R., Givant S. Ч Logic as Algebra88
Hale J.K., Magalhaes L.T., Oliva W. Ч Dynamics in Infinite Dimensions140, 147, 148, 170
Hall G.R., Lee Ч Continuous dynamical systems88, 90, 98
Carr J. Ч Applications of Centre Manifold Theory52, 56, 89
Chou S.-C. Ч Mechanical Geometry Theorem Proving76
Polyanin A., Manzhirov A.V. Ч Handbook of Mathematics for Engineers and Scientists473
Leamer M.J. Ч Groebner finite path algebras7
Zung N.T. Ч Poisson Structures and their Normal Forms45
Ash C.J., Knight J., Sevenster A. (Ed) Ч Computable Structures and the Hyperarithmetical Hierarchy94, 102, 105, 107
Roussarie R.H., Dumortier F., Sotomayor J. Ч Bifurcations of Planar Vector Fields: Nilpotent Singularities and Abelian Integrals21
Hrbacek K., Jech T. Ч Introduction to Set Theory124
Jetter K. (Ed), Schaback R. (Ed) Ч Topics in Multivariate Approximation and Interpolation216
Yang K. Ч Complex Algebraic Geometry: An Introduction to Curves and Surfaces252
Blyth T.S., Robertson E.F. Ч Basic Linear Algebra48
Garey M.R., Johnson D.S. Ч Computers and intractability. A guide to the theory of NP-completeness78.
Zakharov V.E. Ч What is integrability?215
Devaney R.L. Ч An introduction to chaotic dynamical systems245
Mitsumi S., Sturmfels B., Takayama N. Ч Groebner Deformations of Hypergeometric Differential Equations, Algorithms and Computation in Mathematics, Volume 68
Steenrod N.E. Ч The Topology of Fibre Bundles96, 119, 124
Packel E. Ч The Mathematics of Games and Gambling87, 92, 93, 112, 113
Sierpinski W. Ч Cardinal and ordinal numbers323.
Hein J.L. Ч Discrete Mathematics378Ч381
Holden A.V. Ч Chaos63, 66, 67, 70
Rowe N.C. Ч Artifical intelligence through Prologsee Conjunctive normal form and Disjunctive normal form
Stewart I., Tall D. Ч Algebraic Number Theory and Fermat's Last Theorem214, 215
Ziman J.M. Ч Elements of Advanced Quantum Theory70, 73, 172
Cover T.M., Gopinath B. Ч Open problems in communication and computation77Ч82
Hopcroft J.E., Motwani R., Ullman J.D. Ч Introduction to Automata Theory, Languages, and Computation255Ч273
Fiedler B. Ч Global Bifurcation of Periodic Solutions with Symmetry62, 102, 104, 113f
Schouten J.A., van der Kulk W. Ч Pfaffs Problem and Its Generalizations147
Cohen A.M., Cuypers H., Sterk H. Ч Some tapas of computer algebra16, 41
Snyder V., Sisam C.H. Ч Analytic Geometry of Space13
Sokolnikoff I.S. Ч Higher Mathematics for Engineers and Physicists146
Nitecki Z. (ed), Robinson C. (ed) Ч Global Theory of Dynamical Systems30
Gray J. Ч Mastering Mathematica196
Holden A.V. Ч Chaos63, 66, 67, 70
Haake F. Ч Quantum signatures of chaos318
von zur Gathen J., Gerhard J. Ч Modern computer algebra45, 46, 47, 50, 58, 59, 140, 180, 188, 189
Strichartz R.S. Ч The way of analysis462, 580
Bao G., Cowsar L., Masters W. Ч Mathematical Modeling in Optical Science116
Köthe G. Ч Topological vector spaces I113
Hein J.L. Ч Discrete Structures, Logic, and Computability318Ч326, 374Ч377, 756
Zieschang H. Ч Surfaces and Planar Discontinuous Groups32, 68, 114
Froberg R. Ч An Introduction to Grobner Bases53
Queinnec C. Ч Lisp in Small Pieces150
Stetter H. J. Ч Numerical polynomial algebra58
Dongming Wang Ч Elimination Practice: Software Tools and Applications118
Stenlund S. Ч Combinators, λ-Terms and Proof Theory44, 45, 46, 125, 155
Troelstra A.S. Ч Basic proof theory11
Thomas L.C. Ч Games, Theory and Applications27
Maier D. Ч The theory of relational databases96 Ч 101
Rasiowa H. Ч An algebraic approach to non-classical logics (Studies in logic and the foundations of mathematics volume 78)286
Ullman J.D. Ч Principles of database systemssee УBoyce Ч Codd normal formФ, УFourth normal formФ, УThird normal formФ
Hazewinkel M. Ч Handbook of Algebra (part 2)26, 33, 82
Schulman L.S. Ч Techniques and applications of path integration131Ч132, 136, 139, 140
Hein J.L. Ч Theory of Computation: An Introduction151, 444
D'Inverno R. Ч Introducing Einstein's Relatvity176, 177
Reisig W., Rozenberg G. Ч Petri Nets122, 129
Holmes P., Lumley J.L., Berkooz G. Ч Turbulence, Coherent Structures, Dynamical Systems and Symmetry11, 181Ч184
Abramsky S., Gabbay D.M., Maibaum T.S.E. Ч Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods263
Nayfeh A.H., Pai P.F. Ч Linear and Nonlinear Structural Mechanics298, 290
Goryunov V.I., Lyashko O.V. Ч Dynamical Systems VI: Singularity Theory I, Vol. 622
Kurosh A. Ч Higher Algebra169, 170
Conte R. Ч The Painlevé property: One century later317
Gentzen G. Ч The collected papers of Gerhard Gentzen312
Haller G. Ч Chaos Near Resonance34
Ullman J.D., Widom J. Ч A first course in database systemsSee "BCNF", "First normal form", "4NF", "Second normal form", "3NF"
Gatermann K. Ч Computer Algebra Methods for Equivariant Dynamical Systems6, 45
Steenrod N. Ч The topology of fiber bundles96, 119, 124
Eichler M. Ч Introduction to the Theory of Algebraic Numbers and Functionssee "Weierstrass"
Cox D.A., Little J., O'Shea D. Ч Using Algebraic Geometry13 (see also remainder)
Zhitomirskii M. Ч Translations of Mathematical Monographs Typical singularities of differential 1-forms and Pfaffian equations17
Kiviat P.J., Villanueva R., Markowitz H.M. Ч The simscript II. Programming Language30
Smyth B. Ч Computing patterns in strings10Ч11, 13Ч14, 23, 35Ч36, 52Ч53, 93, 111, 158, 161Ч162, 195Ч196, 221, 331, 338, 347, 365
Slurmfels B. Ч Solving systems of polynomial equations14, 17, 89, 138
Gallavotti G. Ч Foundations of fluid mechanics253, 271
Alling N.A., Greenleaf N. Ч Foundations Of The Theory Of Klein Surfaces1.5
Dicks W., Dunwoody M.J. Ч Groups acting on graphs45
Wilf H.S., Zeilbercer D., Petkovšek M. Ч A=B6
Gabbay D.M., Hogger C.J., Robinson J.A. Ч Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming70, 83
Chandler B., Magnus W. Ч The history of combinatorial group theory: a case study in the history of ideas73
Iwasaki Katsunon, Kimura H., Shimomura S. Ч From Gauss to Painleve: A Modern Theory of Special Functions290
Friedlander S.(ed.), Serre D.(ed.) Ч Handbook of Mathematical Fluid Dynamics235, 445, 461, 462, 466, 468, 470
Reithmeier E. Ч Periodic Solutions of Nonlinear Dynamical Systems: Numerical Computation, Stability, Bifurcation and Transition to Chaos4, 20, 45
Richter-Gebert J. Ч Realization Spaces of Polytopes, Vol. 16441, 68
Behnke H., Bachmann F., Fladt K. Ч Fundamentals of mathematics. Volume III. Analysis323
Cox D., Little J., O'Shea D. Ч Ideals, varieties, and algorithms80
Monk J.D. (ed.) Ч Handbook of Boolean Algebras, Vol. 147
Suppes P.(ed.) Ч Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.358
Bahturin Y.A., Mikhalev A.A., Petrogradsky V.M. Ч Infinite dimensional lie superalgebras81
Arnold V.I. Ч Ordinary Differential Equations67
Wang D. (ed.), Zheng Z. (ed.) Ч Differential Equations with Symbolic Computations356
Lancaster P. Ч Mathematics: Models of the Real World28Ч31
Johnson W.C. Ч Mathematical and physical principles of engineering analysis84
Bruno A.D., Fen L.S. Ч Power geometry in algebraic and differential equations195
Ruelle D. Ч Elements of Differentiable Dynamics and Bifurcation Theory75
McGettrick A.D. Ч The Definition of Programming Languages216
Davis P.J. Ч Mathematics of Matrices227
Jones N.D. Ч Computability and complexity from a programming perspective142
Nienhuys-Cheng S., Wolf R. Ч Foundations of Inductive Logic Programming35
Davis R.E. Ч Truth, Deduction, and Computation: Logic and Semantics for Computer Scienceviii, 160, 164
Kollar J. Ч Rational curves on algebraic varieties211
Lyndon R., Schupp P. Ч Combinatorial Group Theory (Classics in Mathematics)175, 181, 274, 285, 291
Proskuryakov I.V. Ч Problems in Linear Algebra183
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2020
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте