×

DIMSYM and LIE: Symmetry determination packages. (English) Zbl 0918.34007

The authors describe the features of two software packages named DIMSYM and LIE. While LIE is written in LISP and runs under DOS the DIMSYM package is written in REDUCE. Both packages are dealing with Lie symmetries of differential equations. The paper includes examples and lists commands of the packages giving explainations of their functionality. While internal details of the algorithms are explained knowledge of the theory of Lie symmetries of partial differential equations is assumed. For an overview of related software it is referred to W. Hereman [Euromath Bulletin 2, 1993].

MSC:

34A25 Analytical theory of ordinary differential equations: series, transformations, transforms, operational calculus, etc.
68W30 Symbolic computation and algebraic computation
22E99 Lie groups
35C99 Representations of solutions to partial differential equations
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Head, A.K., LIE: A PC program for Lie analysis of differential equations, Comp. phys. comm., 77, 241-248, (1993) · Zbl 0854.65055
[2] Sherring, J., Dimsym: symmetry determination and linear differential equations package, () · Zbl 0918.34007
[3] Sherring, J., Symmetry and computer algebra techniques for differential equations, ()
[4] Bluman, G.W.; Kumei, S., Symmetries and differential equations, Applied mathematical sciences, 81, (1989) · Zbl 0718.35004
[5] Olver, P., Applications of Lie groups to differential equations, (1986), Springer-Verlag New York
[6] Schwarz, F., Symmetries of differential equations: from sophus Lie to computer algebra, SIAM rev., 30, 450-481, (1988) · Zbl 0664.35004
[7] Stephani, H., Differential equations: their solution using symmetries, () · Zbl 0645.53045
[8] Hereman, W., Review of symbolic software for computation of Lie symmetries of differential equations, Euromath bulletin, 2, (1993) · Zbl 0891.65081
[9] Reid, G.J., Finding abstract Lie symmetry algebras of differential equations without integrating determining equations, European J. appl. math., 2, 319-340, (1991) · Zbl 0768.35002
[10] Hearn, A.C., (), Version 3.6
[11] Schrüfer, E., EXCALC: A system for doing calculations in the calculus of modern differential geometry, ()
[12] Kersten, P.H.M., Infinitesimal symmetries: A computational approach, () · Zbl 0648.68052
[13] Schwarz, F., Automatically determining symmetries of partial differential equations, Computing, 34, 91-106, (1985) · Zbl 0555.65076
[14] Reid, G.J., A triangularization algorithm which determines the Lie symmetry algebra of any system of pdes, J. phys. A, 23, L853-L859, (1990) · Zbl 0724.35001
[15] Reid, G.J., Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution, Euro. jnl. of applied mathematics, 2, 293-318, (1991) · Zbl 0768.35001
[16] Janet, M., Sur LES systèmes d’équations aux dérivées partielles, Journal de mathematique, 8III, 65-151, (1920) · JFM 47.0440.03
[17] Schwarz, F., The riquier-janet theory and its application to nonlinear evolution equations, Phys. D, 11, 243-251, (1984) · Zbl 0588.58032
[18] MacCallum, M.A.H., Odesolve, ()
[19] Reid, G.J.; Wittkopf, A.D., Long guide to the standard form package, (1993), Mathematics Department, University of British Columbia Vancouver, Canada, Preprint
[20] Hill, J.M., The solution of differential equations by means of one-parameter groups, (1988), Department of Mathematics, University of Wollongong Wollongong, Australia · Zbl 0497.34002
[21] Kersten, P.H.M., Software to compute infinitesimal symmetries of exterior systems, with applications, Acta appl. math., 16, 207-229, (1989) · Zbl 0702.35003
[22] Schwarz, F., REDUCE 3.6 miscellaneous documentation, ()
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.