Presents the theory of Pommaret bases, a special kind of Grobner bases closely related to Koszul homology. This book discusses the existence and uniqueness of solutions of formally well-posed initial value problems and presents Vessiot's dual version of the Cartan-Kahler theory.