A constructive implementation of the Cartan-Kähler theory of exterior differential systems
Journal of Symbolic Computation
Algorithmic determination of commutation relations for Lie symmetry algebras of PDEs
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Computer algebra handbook
| Hi-index | 0.98 |
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 nonlinear case, and then algorithms implementing the central techniques are discussed.