Applications include algorithmic determination of canonical forms for systems of differential equations which are suitable for their analytical or numerical solution (for example, their solution using directed graphs and the determination of all solutions lying in some finite extension of the rational function field). Another application of my work has been the design of algorithms which can calculate the dimension and structure of Lie symmetry algebras of differential equations. Previous methods for calculating structure depended on integration, a process that is not always guaranteed to succeed. Our Maple implemented programs and extensive documentation are publically available.
My most significant recent contributions have been the development of a effective canonical form algorithm for systems of polynomially nonlinear systems of partial differential equations and an effective algorithm for determining the structure of infinite Lie pseudogroups.