[SADE] a Maple package for the symmetry analysis of differential equations ?
We present the package SADE (Symmetry Analysis of Differential Equations) for the determination of symmetries and related properties of systems of differential equations. The main methods implemented are: Lie, nonclassical, LieBcklund and potential symmetries, invariant solutions, first-integrals, Nther theorem for both discrete and continuous systems, solution of ordinary differential equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants, and the quasi-polynomial formalism for ODE's (previously implemented by the authors in the package QPSI) for the determination of quasi-polynomial first-integrals, Lie symmetries and invariant surfaces. Examples of use of the package are given. Program title: SADE Catalogue identifier: AEHL_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEHL_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC license, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 27?704 No. of bytes in distributed program, including test data, etc.: 346?954 Distribution format: tar.gz Programming language: MAPLE 13 and MAPLE 14 Computer: PCs and workstations Operating system: UNIX/LINUX systems and WINDOWS Classification: 4.3 Nature of problem: Determination of analytical properties of systems of differential equations, including symmetry transformations, analytical solutions and conservation laws. Solution method: The package implements in MAPLE some algorithms (discussed in the text) for the study of systems of differential equations. Restrictions: Depends strongly on the system and on the algorithm required. Typical restrictions are related to the solution of a large over-determined system of linear or non-linear differential equations. Running time: Depends strongly on the order, the complexity of the differential system and the object computed. Ranges from seconds to hours.
invariant solutions symmetry transformations conservation laws symbolic computation