Software

Review of Symbolic Software for Lie Symmetry Analysis
Mathematical and Computer Modelling Vol. 25 (8/9),
pp. 115132, 1997.
Special Issue on Algorithms for Nonlinear Systems (1997).
Author: Willy Hereman.
 ODEtools.
A set of Maple routines for the analytical solving of ODEs, using
classification, integrating factors, and Lie group symmetry methods.
Authors: E.S.ChebTerrab et. al..
Centre for Experimental and Constructive Mathematics,
Simon Fraser University 
Universidade do Estado do Rio de Janeiro.
(Textbooks and papers related to methods for ODEs used in Maple 7
dsolve).
 Lie. Program for Lie analysis of differential equations on IBM type PCs.
Lie
 DESOLV.
A Maple program for the determination of Lie symmetries of differential
equations.
Authors : J.Carminati and K.T.Vu.
School of Computing and Mathematics, Deakin University.
Geelong, Victoria, Australia.
DESOLV for Release 4
DESOLV for Release 5
 symmetry.
A Maple package to implement symmetry calculations for DEs.
Author: Mark Hickman.
University of Canterbury. New Zealand.
 Dimsym.
A Reduce program for the determination of symmetries of differential equations.
Author: James Sherring.
Contributors: Geoff Prince and Michael Jerie.
Department of Mathematics,
School of Mathematical and Statistical Sciences.
La Trobe University.
Victoria, Australia.
 diffgrob2, dirmeth and ncdg.
Maple packages to simplify overdetermined systems of nonlinear differential equations and
calculate the determining equations.
Author: E. L. Mansfield.
Institute Of Mathematics and Statistics,
University of Kent at Canterbury.
 diffalg.
Collection of Maple routines to handle systems of polynomial differential equations and
inequations.
Authors: F. Boulier and E. Hubert.
Équipe CalFor. LIFL 
Projet CAFE.
INRIA Sophia Antipolis.
 Vessiot.
Maple package containing commands for all the basic operations of
calculus on jet spaces.
Formal Geometry and Mathematical Physics research group.
Utah State University.
 Standard Form.
Maple package implementing the "normal" form algorithm that
reduces systems of linear PDEs to a form from which it can obtain
structural information about the system.
Authors: Gregory J. Reid and Allan D. Wittkopf.
Centre for Experimental and Constructive Mathematics,
Simon Fraser University.
Burnaby, Canada.
 RIF.
Maple package for the simplification of overdetermined ODE and PDE systems.
It is the successor of the Standard Form.
Authors: Gregory J. Reid and Allan D. Wittkopf.
Centre for Experimental and Constructive Mathematics,
Simon Fraser University.
Burnaby, Canada.
 CDiffElim.
C program for differential elimination of linear and polynomially nonlinear systems
of ODE/PDE.
Authors: Gregory J. Reid and Allan D. Wittkopf.
Centre for Experimental and Constructive Mathematics,
Simon Fraser University.
Burnaby, Canada.
 SYMMGRP.MAX.
A MACSYMA programm to find the determining equations needed to compute the symmetry group of
a given system of differential equations.
Authors: B. Champagne and P. Winternitz, Centre de Recherches Mathematiques, Universite de Montreal,
Montreal, Quebec, Canada; and
W. Hereman, Department of Mathematical and Computer Sciences Colorado School of Mines,
Golden, Colorado, USA.
 Integrability.
A Mathematica package for the computation of invariants and symmetries of evolution
equations and lattices.
Authors: Unal Goktas and Willy Hereman.
Vuelta a página principal del curso.