Lie algebra computations

In the context of prolongation theory, introduced by Wahlquist and Estabrook, computations of a lot of Jacobi identities in (infinite-dimensional) Lie algebras are necessary. These computations can be done (automatically) using ‘symbolic computations’. A package written in REDUCE is demonstrated to give an idea of the chosen approach

Software to compute infinitesimal symmetries of exterior differenial systems, with applications

A description is given of a software package to compute symmetries of partial differential equations, using computer algebra. As an application, the computation of higher-order symmetries of the classical Boussinesq equation is given leading to the recursion operator for symmetries in a straightforward way. Nonlocal symmetries for the Federbush model are obtained yielding the linearization of the model