%0 Journal Article
%A Auer, E.
%A Kiel, S.
%A Rauh, A.
%T A verified method for solving piecewise smooth initial value problems
%J International Journal of Applied Mathematics and Computer Science
%D 2013
%P 731-747
%V 23
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2013_23_4_a3/
%G en
%F IJAMCS_2013_23_4_a3