Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra (repost)

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.