Differential geometric computations and computer algebra

Mathematical and Computer Modelling

Volumn 25, Issue 8-9, 1997, Pages 11-24

  Gragert, P K H ^a   Kersten, P H M ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Computer algebra; Differential geometry; Literate programming; Supersymmetry

Indexed keywords

ALGEBRA; COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); FUNCTIONS; GEOMETRY;

COMPUTER ALGEBRA; KORTEWEG DE VRIES EQUATION;

PARTIAL DIFFERENTIAL EQUATIONS;

EID: 0031127350     PISSN: 08957177     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0895-7177(97)00055-1     Document Type: Article

References (25)

1. F.B. Estabrook and H.D. Wahlquist, Prolongation structures of nonlinear evolution equations, J. Math. Phys. 16, 1293-1297 (1976).
2. B.K. Harrison and F.B. Estabrook, Geometric approach to invariance groups and solutions of partial differential systems, J. Math. Phys. 12, 653-666 (1971).
3. W. Hereman, Review of symbolic software for Lie symmetry analysis, Mathl. Comput. Modelling (this issue).
4. A.M. Vinogradov, Local symmetries and conservation laws, Acta Appl. Math. 2, 21-78 (1984).
5. I.S. Krasil'shchik and A.M. Vinogradov, Nonlocal symmetries and the theory of coverings, Acta Appl. Math. 2, 79-96 (1984).
6. P.J. Olver, Applications of Lie groups to differential equations, In Graduate Texts in Mathematics 107, Springer-Verlag, New York, (1986).
7. N.G. Khor'hova, Conservation laws and nonlocal symmetries, (in Russian), Mat. Zametki 44, 134-144 (1988).
8. I.S. Krasil'chshik, Some new cohomological invariants for nonlinear differential equations, Diff. Geom. Appl. 2, 307-350 (1992).
9. I.S. Krasil'shchik and P.H.M. Kersten, Deformations of differential equations and recursion operators, In Geometry in Partial Differential Equations, (Edited by A. Prastaro and Th.M. Rassias), Gordon and Breach, New York, (1986).
10. P.H.M. Kersten and I.S. Krasil'chshik, Graded Frölicher-Nijenhuis brackets and the theory of recursion operators for super differential equations, In The Interplay between Differential Geometry and Differential Equations, (Edited by V.V. Lychagin) pp. 91-130, Advances in the Mathematical Sciences 24, American Mathematical Society, Providence, RI, U.S.A., (1995).
11. P.H.M. Kersten, Software to compute infinitesimal symmetries of exterior differential systems, with applications, Acta Appl. Math. 16, 207-229 (1989).
12. [GR].
13. P.K.H. Gragert and R. Martini, Presentation for the Virasoro algebra, Internat. J. Algebra Comput. 5, 251-257 (1995).
14. P.K.H. Gragert and P.H.M. Kersten, Graded differential geometry in REDUCE: Super-symmetry structures of the modified KdV equation, Acta Appl. Math. 24, 211-231 (1991).
15. G.H.M. Roelofs, Prolongation structures of super-symmetric systems, Ph.D. Thesis, University of Twente, Enschede, The Netherlands, (1993).
16. P. Matthieu, Super-symmetric extension of the Korteweg-de Vries equation, J. Math. Phys. 29, 2499-2506 (1988).
17. B. Kostant, Graded manifolds, graded Lie theory and prequantization, In Proc. Differential Geometrical Methods in Mathematical Physics, Bonn, 1975, Lecture Notes in Mathematics 570, pp. 177-306, Springer, Heidelberg, (1975).
18. Th. van Bemmelen, Symmetry computations with total derivative operators, Ph.D. Thesis, University of Twente, Enschede, The Netherlands, (1993).
19. Th. van Bemmelen, The symmetry equation package for REDUCE, Intern. Report No. 1053, Faculty of Applied Mathematics, University of Twente, Enschede, The Netherlands, (1991).
20. G.H.M. Roelofs and P.H.M. Kersten, Super-symmetric extensions of the nonlinear Schrödinger equation: Symmetries and coverings, J. Math. Phys. 33, 2185-2211 (1992).
21. P.H.M. Kersten and P.K.H. Gragert, n = 2 super-extensions of the KdV-equation: Symmetries and recursion operators (in preparation).
22. P.K.H. Gragert, Symbolic computations in prolongation theory, Ph.D. Thesis, University of Twente, Enschede, The Netherlands, (1981).
23. G.H.M. Roelofs and P.K.H. Gragert, Implementation of multilinear operators in REDUCE and applications in mathematics, In Proceedings ISSAC '91, Bonn, ACM, New York, (1991).
24. P.H.M. Kersten, Infinitesimal symmetries, a computational approach, Ph.D. Thesis, University of Twente, Enschede, The Netherlands, (1985).
25. D.E. Knuth, Literate programming, Computer Journal 27, 97-111 (1984).