A constructive implementation of the Cartan-Kähler theory of exterior differential systems

DOI10.1016/S0747-7171(08)80146-0zbMath0753.58002MaRDI QIDQ1186724

David Hartley, Robin W. Tucker

Publication date: 28 June 1992

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

exterior differential systemsefficient algorithmCartan-Kähler theoremregular chain of involutive integral elements

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Wave equation (35L05) Exterior differential systems (Cartan theory) (58A15) Partial differential equations on manifolds; differential operators (58J99)

Related Items

Involution analysis for nonlinear exterior differential systems ⋮ Numerical analysis of constrained Hamiltonian systems and the formal theory of differential equations ⋮ Reduction of systems of nonlinear partial differential equations to simplified involutive forms ⋮ An application of solvable structures to classical and nonclassical similarity solutions ⋮ Fast differential eleminination in C: The CDiffElim environment ⋮ EDS: A REDUCE package for exterior differential systems

Uses Software

• REDUCE
• EXCALC

Cites Work

• Exterior differential systems and the calculus of variations
• On E. Cartan's Prolongation Theorem of Exterior Differential Systems
• Classical geometries defined by exterior differential systems on higher frame bundles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item