Involution: The Formal Theory of Differential Equations and Its Applications in Computer Algebra (2010)Paperback - 2010, 14 March 2012

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.