Involution The Formal Theory of Differential Equations and its Applications in Computer Algebra /

• Κύριος συγγραφέας: Seiler, Werner M. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Algorithms and Computation in Mathematics, 24
• Θέματα: Mathematics.; Computer science > Mathematics.; Algebra.; Commutative algebra.; Commutative rings.; Differential equations.; Partial differential equations.; Physics.; Partial Differential Equations.; Ordinary Differential Equations.; Commutative Rings and Algebras.; Theoretical, Mathematical and Computational Physics.; Symbolic and Algebraic Manipulation.

Πίνακας περιεχομένων:

• 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.