TY  - JOUR
AU  - Auer, E.
AU  - Kiel, S.
AU  - Rauh, A.
TI  - A verified method for solving piecewise smooth initial value problems
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2013
SP  - 731
EP  - 747
VL  - 23
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IJAMCS_2013_23_4_a3/
LA  - en
ID  - IJAMCS_2013_23_4_a3
ER  -