EDS: A reduced package for exterior differential systems Original Research Article

The EDS package for symbolic analysis of differential equations using the geometrical approach of exterior differential systems is described. The package implements much of exterior differential systems theory, including prolongation and involution analysis, and has been optimised for large, nonlinear problems. Besides the description of the facilities in the package, two nontrivial sample calculations arising from relativity are presented.