Kurt Schlacher, Andreas Kugi, Kurt Zehetleitner,
"Symbolic Methods for the Equivalence Problem for Systems for Implicit Ordinary Differential Equations"
, in Winkler F., Langer U.: Symbolic and Numerical Scientific Computations, revised proceedings of SNSC'01, Serie Lecture Notes in Computer Science (LNCS), Vol. 2630, Springer Verlag, Seite(n) 140-151, 2003, ISBN: 3-540-40554-2
Original Titel:
Symbolic Methods for the Equivalence Problem for Systems for Implicit Ordinary Differential Equations
Sprache des Titels:
Englisch
Original Buchtitel:
Symbolic and Numerical Scientific Computations, revised proceedings of SNSC'01
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Springer Verlag
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
2630
Seitenreferenz:
140-151
Erscheinungsjahr:
2003
ISBN:
3-540-40554-2
Anzahl der Seiten:
12
Notiz zur Publikation:
Schlacher K., Kugi A., Zehetleitner K. (2003): Symbolic Methods for the Equivalence Problem for Systems for Implicit Ordinary Differential Equations. In: F. Winkler and U. Langer: LNCS: Symbolic and Numerical Scientific Computations, revised proceedings of SNSC'01, Vol. 2630, Springer-Verlag, Berlin-Heidelberg, ISBN: 3-540-40554-2, pp. 140-151, 2003.
Forschungs-