Seiler Involution

The Formal Theory of Differential Equations and its Applications in Computer Algebra
1. Auflage 2009
ISBN: 978-3-642-01287-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 24, 650 Seiten, eBook

Reihe: Algorithms and Computation in Mathematics

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.

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.

Zielgruppe

Research

Autoren/Hrsg.

Seiler, Werner M.

Inhaltsverzeichnis

Formal Geometry of Differential Equations.- Involution I: Algebraic Theory.- Completion to Involution.- Structure Analysis of Polynomial Modules.- Involution II: Homological Theory.- Involution III: Differential Theory.- The Size of the Formal Solution Space.- Existence and Uniqueness of Solutions.- Linear Differential Equations.- Miscellaneous.- Algebra.- Differential Geometry.

Über Autor(innen)

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.