Computational Methods For Integrating Vision And Language Barnard, Kobus Morgan & Claypool Publishers |
Datacenter Design And Management: A Computer Architect's Perspective C. Lee, Benjamin Morgan & Claypool Publishers |
Ellipse Fitting For Computer Vision: Implementation And Applications Kanatani, Kenichi / Sugaya, Yasuyuki / Kanazawa, Yasushi Morgan & Claypool Publishers |
Minitab Handbook: Updated For Release 16 Ryan, Barbara / Joiner, Brian / Cryer, Jonathan Cengage Learning Editores, S.A. de C.V. |
Labview: Entorno Gráfico de Programación Lajara Vizcaíno, José Rafael / Pelegrí Sebastiá, José Alfaomega Grupo Editor S.A. de C.V. |
Título: Involution. The Formal Theory Of Differential Equations And Its Applications In | ||
Autor: Seiler Werner M | Precio: $1677.00 | |
Editorial: Springer Publishing Company | Año: 2010 | |
Tema: Computacion, Matematicas | Edición: 1ª | |
Sinopsis | ISBN: 9783642012860 | |
The book provides a self-contained account of the formal theory of general, i.e. also under- and overdetermined, systems of differential equations which in its central notion of involution combines geometric, algebraic, homological and combinatorial ideas. It presents for the first time in book form the theory of Pommaret bases, a special kind of Gröbner bases closely related to Koszul homology, and contains an extensive discussion of the existence and uniqueness of solutions of formally well-posed initial value problems and a novel presentation of Vessiot's dual version of the Cartan-Kähler theory. Special emphasis is put on a constructive approach leading to effective algorithms.
Table of contents / Sample pagestableOfContents / samplePages1 Introduction.- 2 Formal Geometry of Differential Equations.- 3 Involution I: Algebraic Theory.- 4 Completion to Involution.- 5 Structure Analysis of Polynomial Modules.- 6 Involution II: Homological Theory.- 7 Involution III: Differential Theory.- 8 The Size of the Formal Solution Space.- 9 Existence and Uniqueness of Solutions.- 10 Linear Differential Equations.- A Miscellaneous.- B Algebra.- C Differential Geometry.- References.- Glossary.- Index W.M. Seiler is professor for computational mathematics (algorithmic algebra) at Kassel University. His research fields include differential equations, commutative algebra and mechanics. He is particularly interested in combining geometric and algebraic approaches. For many years, he has been an external developer for the computer algebra system MuPAD. |