Title: Algorithmic methods for Lie Pseudogroups

Authors: Joachim Schü , Werner M. Seiler and Jacques Calmet.

Abstract We present an algorithm to complete any given system of differential equations to an involutive system as needed e.g. for concrete applications of Lie pseudogroups. It is based on jet bundle formalism and formal theory. An implementation in the computer algebra system AXIOM is described.