Involution the formal theory of differential equations and its applications in computer algebra - Seiler, Werner M.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Differential equations; Mathematics; Partial Differential Equations; Ordinary Differential Equations; Commutative Rings and Algebras; Algebra; Theoretical, Mathematical and Computational Physics; Symbolic and Algebraic Manipulation