Symmetries and Overdetermined Systems of Partial Differential Equations

Abstract

We survey recent developments in the method of moving frames for infinite-dimensional Lie pseudo-groups. These include a new, direct approach to the construction of invariant Maurer-Cartan forms and the Cartan structure equations for pseudo-groups, and new algorithms, based on constructive commutative algebra, for establishing the structure of their differential invariant algebras.