Symbolic computations in applied differential geometry (Q794160)

The main aim of this paper is to contribute to the automatic calculations in differential geometry and its applications, with emphasis on the prolongation theory of Estabrook and Wahlquist, and the calculations of invariance groups of exterior differential systems. A large number of worked examples have been included in the text to demonstrate the concrete manipulations in practice. In the appendix, a list of programs discussed in the paper is added.