@inproceedings{e51d0c8caa9c456995dcdfe0f8619f87,
title = "Symbolic Methods for the Equivalence Problem for Systems for Implicit Ordinary Differential Equations",
abstract = "This contribution deals with the equivalence problem for systems of implicit ordinary differential equations. Equivalence means that every solution of the original set of equations is a solution of a given normal form and vice versa. Since we describe this system as a submanifold in a suitable jet-space, we present some basics from differential and algebraic geometry and give a short introduction to jet-theory and its application to systems of differential equations. The main results of this contribution are two solutions for the equivalence problem, where time derivatives of the input are admitted or not. Apart from the theoretical results we give a sketch for computer algebra based algorithms necessary to solve these problems efficiently.",
author = "Kurt Schlacher and Andreas Kugi and Kurt Zehetleitner",
year = "2003",
language = "English",
isbn = "3-540-40554-2",
volume = "2630",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer Verlag",
pages = "140--151",
editor = "\{Winkler F., Langer U.\}",
booktitle = "Symbolic and Numerical Scientific Computations, revised proceedings of SNSC'01",
}