Поиск книг, содержащих Normal form :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Четвертый курс

square

Пятый курс

Авторизация

Поиск по указателям

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

Поиск книг, содержащих: 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 Mathematica®	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
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
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming	35
Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science	viii, 160, 164
Kollar J. — Rational curves on algebraic varieties	211
Lyndon R., Schupp P. — Combinatorial Group Theory (Classics in Mathematics)	175, 181, 274, 285, 291
Proskuryakov I.V. — Problems in Linear Algebra	183
Meyer J.-J.Ch. — Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science)	35
Geddes K.O., Czapor S.R., Labahn G. — Algorithms for computer algebra	82
Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker))	124

О проекте