Computer Algebra Solving of First Order ODEs Using Symmetry Methods

A set of Maple V R.3/4 computer algebra routines for the analytical solving of 1st. order ODEs, using Lie group symmetry methods, is presented. The set of commands includes a 1st. order ODE-solver and routines for, among other things: the explicit determination of the coefficients of the infinitesimal symmetry generator; the construction of the most general invariant 1st. order ODE under given symmetries; the determination of the canonical coordinates of the underlying invariant group; and the testing of the returned results.