Abstract
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 calculation 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.
Similar content being viewed by others
References
Anderson, R. L. and Ibragimov, N. H.:Lie-Bäcklund Transformations in Applications, SIAM Studies in Applied Mathematics, Philadelphia, 1979.
Cartan, E.:Les systèmes différentiels et leurs applications géométriques, Hermann, Paris, 1945.
Edelen, D. G. B.:Isovector Methods for Equations of Balance, Sijthoff and Noordhoff, Alphen a/d Rijn, The Netherlands, 1981.
Wahlquist, H. D. and Estabrook, F. B.:J. Math Phys. 16 (1975), 1–7.
Estabrook, F. B. and Wahlquist, H. D.:J. Math Phys. 17 (1976), 1293–1297
Frick, I.:SHEEP's Users' Manual, University of Stockholm, 1977.
Estabrook, F. B.: ‘Differential geometry as a tool for applied mathematicians, in R. Martini (ed.),Geometric Approaches to Differential Equations (Lecture Notes in Mathematics, Vol. 810), Springer-Verlag, Heidelberg, New York, 1979.
Gragert, P. K. H.: ‘Symbolic computations in prolongation theory’, PhD thesis, Twente University of Technology, 1981.
Gragert, P. K. H. and Kersten, P. H. M.: ‘Implementation of differential geometric objects and functions with an application to extended Maxwell equations’, in: J. Calmet (ed.),Proceedings Eurocam 1982 (Lecture Notes in Computer Science, Vol. 144), Springer-Verlag, Heidelberg, New York, 1982, pp. 181–187.
Harrison, B. K. and Estabrook, J. B.:J. Math. Phys. 12 (1971), 653–666.
Hearn, A. C.:Reduce 2 Users' Manual, 2nd edition, University of Utah, 1973.
Kersten, P. H. M.: ‘Infinitesimal symmetries and conserved currents for nonlinear Dirac equations’, to appear inJ. Math. Phys.
Lewis, V. E. (ed.),MACSYMA Users' Conference Proceedings, 1979, Washington D.C., MIT Laboratory of Computer Science, Cambridge, Mass., 1979.
McCarthy, J. et al.,LIPS 1.5 Programmers' Manual, MIT Press, Cambridge, Mass., 1962.
Molino, P.: ‘Exterior differential systems and partial differential equations’, Notes of invited lectures at the University of Amsterdam, 1982.
REDUCE Newsletters, 1 (1978), 2 (1978), 3 (1978), 4 (1978), 5 (1979), 6 (1979), 7 (1979), Symbolic Computation Group, University of Utah.
Risch, R. H.:Trans. Am. Math. Soc. 139 (1969), 167–189.
Wahlquist, H. D.: ‘Exterior calculus on an Apple: the program “CARTAN” preprint, 1981.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gragert, P.K.H., Kersten, P.H.M. & Martini, R. Symbolic computations in applied differential geometry. Acta Appl Math 1, 43–77 (1983). https://doi.org/10.1007/BF02433841
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02433841