A MuPAD library for differential equations We present an overview of the MuPAD library DETools for the analysis of differential equations. It has been developed within an object-oriented environment for the efficient representation of differential functions. Currently, the main ingredients of the library are a fairly general package for Lie symmetry analysis and an algebraic-geometric completion package for overdetermined systems