Involution analysis for non-linear exterior differential systems
D. Hartley
Mathl. Comput. Modelling 25(1997)51-62.

Analysing auxiliary systems for integrability conditions is an indispensable part of many indirect studies of partial differential equations, such as symmetry analysis. An invariant differential geometric approach to integrability analysis is described, using the concept of an involutive exterior differential system. The essential theory is first presented, paying particular attention to the non-linear case, and then algorithms implementing the central techniques are discussed.

The preprint (16 pages) is available as: