Involution : the Formal Theory of Differential Equations and its Applications in Computer Algebra
Werner M. Seiler (Author)
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.
Scholarly & Professional
1 online resource (xxii, 650 pages) : illustrations
9783642012860, 3642012868
650993276
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.