|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Normal form
| Книга | Страницы для поиска | | Sornette D. - Critical phenomena in natural sciences | | | Jurafsky D., Martin J.H. - Speech and Language Processing | 343, 344 | | Girard J.-Y., Taylor P., Lafont Y. - Proofs and Types | 18, 76 | | Chagrov A., Zakharyaschev M. - Modal logic | 375 | | Aqaian S., Astola J., Egiazarian K. - Binary polynomial transforms and nonlinear digital filters | 96, 112, 115, 117 | | Mishra B. - Algorithmic algebra | 80 | | Hoffman K., Kunze R. - Linear algebra | 257, 261 | | Wedderburn J.H.M. - Lectures on Matrices | 34 | | Becker T., Weispfenning V. - Groebner bases and commutative algebra | 175, 196 | | Kreuzer M., Robbiano L. - Computational commutative algebra 1 | 73, 113 | | Bergman S. - The Kernel Function and Conformal Mapping | 112 | | Farkas H., Kra I. - Riemann Surfaces | 16 | | Conte R. - Painleve Property: One Century Later | 317 | | Wallace M. - Communicating with Databases in Natural Language | 96 | | Drazin P. - Introduction to Hydrodynamic Stability | 82 | | Behnke H., Bachmann F., Fladt K. - Fundamentals of Mathematics, Volume III: Analysis | 323 | | Knopp K. - Elements of the Theory of Functions | 57 | | Kollar J. - Rational Curves on Algebraic Varieties | IV.4.4.5, p. 211 | | Sun J.Q. (Ed), Luo A.C. (Ed) - Bifurcation and Chaos in Complex Systems | 14, 296 | | Hazewinkel M. (ed.) - Handbook of Algebra, Volume 4 | 437 | | Liao X., Wang L., Yu P. - Stability of Dynamical Systems, Vol. 5 | 591-595, 597, 602, 609, 614, 619, 633, 644, 649, 653, 657, 666, 669 | | Lynch S. - Dynamical Systems with Applications Using MathematicaR | 128, 134 | | Halmos P.R., Givant S. - Logic as Algebra | 88 | | Hale J.K., Magalhaes L.T., Oliva W. - Dynamics in Infinite Dimensions | 140, 147, 148, 170 | | Hall G.R., Lee - Continuous dynamical systems | 88, 90, 98 | | Carr J. - Applications of Centre Manifold Theory | 52, 56, 89 | | Chou S.-C. - Mechanical Geometry Theorem Proving | 76 | | Polyanin A., Manzhirov A.V. - Handbook of Mathematics for Engineers and Scientists | 473 | | Leamer M.J. - Groebner finite path algebras | 7 | | Zung N.T. - Poisson Structures and their Normal Forms | 45 | | Ash C.J., Knight J., Sevenster A. (Ed) - Computable Structures and the Hyperarithmetical Hierarchy | 94, 102, 105, 107 | | Roussarie R.H., Dumortier F., Sotomayor J. - Bifurcations of Planar Vector Fields: Nilpotent Singularities and Abelian Integrals | 21 | | Hrbacek K., Jech T. - Introduction to Set Theory | 124 | | Jetter K. (Ed), Schaback R. (Ed) - Topics in Multivariate Approximation and Interpolation | 216 | | Yang K. - Complex Algebraic Geometry: An Introduction to Curves and Surfaces | 252 | | Blyth T.S., Robertson E.F. - Basic Linear Algebra | 48 | | Garey M.R., Johnson D.S. - Computers and intractability. A guide to the theory of NP-completeness | 78. | | Zakharov V.E. - What is integrability? | 215 | | Devaney R.L. - An introduction to chaotic dynamical systems | 245 | | Mitsumi S., Sturmfels B., Takayama N. - Groebner Deformations of Hypergeometric Differential Equations, Algorithms and Computation in Mathematics, Volume 6 | 8 | | Steenrod N.E. - The Topology of Fibre Bundles | 96, 119, 124 | | Packel E. - The Mathematics of Games and Gambling | 87, 92, 93, 112, 113 | | Sierpinski W. - Cardinal and ordinal numbers | 323. | | Hein J.L. - Discrete Mathematics | 378-381 | | Holden A.V. - Chaos | 63, 66, 67, 70 | | Rowe N.C. - Artifical intelligence through Prolog | see Conjunctive normal form and Disjunctive normal form | | Stewart I., Tall D. - Algebraic Number Theory and Fermat's Last Theorem | 214, 215 | | Ziman J.M. - Elements of Advanced Quantum Theory | 70, 73, 172 | | Cover T.M., Gopinath B. - Open problems in communication and computation | 77-82 | | Hopcroft J.E., Motwani R., Ullman J.D. - Introduction to Automata Theory, Languages, and Computation | 255-273 | | Fiedler B. - Global Bifurcation of Periodic Solutions with Symmetry | 62, 102, 104, 113f | | Schouten J.A., van der Kulk W. - Pfaffs Problem and Its Generalizations | 147 | | Cohen A.M., Cuypers H., Sterk H. - Some tapas of computer algebra | 16, 41 | | Snyder V., Sisam C.H. - Analytic Geometry of Space | 13 | | Sokolnikoff I.S. - Higher Mathematics for Engineers and Physicists | 146 | | Nitecki Z. (ed), Robinson C. (ed) - Global Theory of Dynamical Systems | 30 | | Gray J. - Mastering Mathematica | 196 | | Holden A.V. - Chaos | 63, 66, 67, 70 | | Haake F. - Quantum signatures of chaos | 318 | | von zur Gathen J., Gerhard J. - Modern computer algebra | 45, 46, 47, 50, 58, 59, 140, 180, 188, 189 | | Strichartz R.S. - The way of analysis | 462, 580 | | Bao G., Cowsar L., Masters W. - Mathematical Modeling in Optical Science | 116 | | Köthe G. - Topological vector spaces I | 113 | | Hein J.L. - Discrete Structures, Logic, and Computability | 318-326, 374-377, 756 | | Zieschang H. - Surfaces and Planar Discontinuous Groups | 32, 68, 114 | | Froberg R. - An Introduction to Grobner Bases | 53 | | Queinnec C. - Lisp in Small Pieces | 150 | | Stetter H. J. - Numerical polynomial algebra | 58 | | Dongming Wang - Elimination Practice: Software Tools and Applications | 118 | | Stenlund S. - Combinators, λ-Terms and Proof Theory | 44, 45, 46, 125, 155 | | Troelstra A.S. - Basic proof theory | 11 | | Thomas L.C. - Games, Theory and Applications | 27 | | Maier D. - The theory of relational databases | 96 - 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 systems | see '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 integration | 131-132, 136, 139, 140 | | Hein J.L. - Theory of Computation: An Introduction | 151, 444 | | D'Inverno R. - Introducing Einstein's Relatvity | 176, 177 | | Reisig W., Rozenberg G. - Petri Nets | 122, 129 | | Holmes P., Lumley J.L., Berkooz G. - Turbulence, Coherent Structures, Dynamical Systems and Symmetry | 11, 181-184 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. - Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 263 | | Nayfeh A.H., Pai P.F. - Linear and Nonlinear Structural Mechanics | 298, 290 | | Goryunov V.I., Lyashko O.V. - Dynamical Systems VI: Singularity Theory I, Vol. 6 | 22 | | Kurosh A. - Higher Algebra | 169, 170 | | Conte R. - The Painlevé property: One century later | 317 | | Gentzen G. - The collected papers of Gerhard Gentzen | 312 | | Haller G. - Chaos Near Resonance | 34 | | Ullman J.D., Widom J. - A first course in database systems | See "BCNF", "First normal form", "4NF", "Second normal form", "3NF" | | Gatermann K. - Computer Algebra Methods for Equivariant Dynamical Systems | 6, 45 | | Steenrod N. - The topology of fiber bundles | 96, 119, 124 | | Eichler M. - Introduction to the Theory of Algebraic Numbers and Functions | see "Weierstrass" | | Cox D.A., Little J., O'Shea D. - Using Algebraic Geometry | 13 (see also remainder) | | Zhitomirskii M. - Translations of Mathematical Monographs Typical singularities of differential 1-forms and Pfaffian equations | 17 | | Kiviat P.J., Villanueva R., Markowitz H.M. - The simscript II. Programming Language | 30 | | Smyth B. - Computing patterns in strings | 10-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 equations | 14, 17, 89, 138 | | Gallavotti G. - Foundations of fluid mechanics | 253, 271 | | Alling N.A., Greenleaf N. - Foundations Of The Theory Of Klein Surfaces | 1.5 | | Dicks W., Dunwoody M.J. - Groups acting on graphs | 45 | | Wilf H.S., Zeilbercer D., Petkovšek M. - A=B | 6 | | Gabbay D.M., Hogger C.J., Robinson J.A. - Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 70, 83 | | Chandler B., Magnus W. - The history of combinatorial group theory: a case study in the history of ideas | 73 | | Iwasaki Katsunon, Kimura H., Shimomura S. - From Gauss to Painleve: A Modern Theory of Special Functions | 290 | | Friedlander S.(ed.), Serre D.(ed.) - Handbook of Mathematical Fluid Dynamics | 235, 445, 461, 462, 466, 468, 470 | | Reithmeier E. - Periodic Solutions of Nonlinear Dynamical Systems: Numerical Computation, Stability, Bifurcation and Transition to Chaos | 4, 20, 45 | | Richter-Gebert J. - Realization Spaces of Polytopes, Vol. 164 | 41, 68 | | Behnke H., Bachmann F., Fladt K. - Fundamentals of mathematics. Volume III. Analysis | 323 | | Cox D., Little J., O'Shea D. - Ideals, varieties, and algorithms | 80 | | Monk J.D. (ed.) - Handbook of Boolean Algebras, Vol. 1 | 47 | | 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 superalgebras | 81 | | Arnold V.I. - Ordinary Differential Equations | 67 | | Wang D. (ed.), Zheng Z. (ed.) - Differential Equations with Symbolic Computations | 356 | | Lancaster P. - Mathematics: Models of the Real World | 28-31 | | Johnson W.C. - Mathematical and physical principles of engineering analysis | 84 | | Bruno A.D., Fen L.S. - Power geometry in algebraic and differential equations | 195 | | Ruelle D. - Elements of Differentiable Dynamics and Bifurcation Theory | 75 | | McGettrick A.D. - The Definition of Programming Languages | 216 | | Davis P.J. - Mathematics of Matrices | 227 | | Jones N.D. - Computability and complexity from a programming perspective | 142 |
|
|
|
|
|
|
|
О проекте