Generalized constraint solving over differential algebras - Dolzmann, Andreas; Sturm, Thomas (Univ, Fak. für Math. u. Informatik, 2004)