A Normal Form for Systems of Implicit Ordinary Differential Equations

This contribution deals with the application of computer algebra based methods to the analysis of dynamic systems described by implicit ordinary differential equations. This type of system defines a submanifold of a certan jet space. We solve the problem whether this submanifold admits a parametrization by an explicit system, i.e. any solution of the original system is a solution of the explicit one and vice versa. Since this approach requires the formal integrability of the implicit system, a sketch for the computation of the formally integrable system is presented.