Involution analysis for nonlinear exterior differential systems
The author recalls basic concepts from exterior differential systems (including the Cartan-Kähler theory of flags of integral elements, prolongations, and Cartan's test of involutivity) and then describes algorithms for the involution analysis (the compatibility problem) together with brief implementation and short mention of advantages over the Janet-Riquier and differential algebra methods.
scientific article; zbMATH DE number 1067233
scientific article