%0 Journal Article %A Auer, E. %A Luther, W. %T Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems %J International Journal of Applied Mathematics and Computer Science %D 2009 %P 455-467 %V 19 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/IJAMCS_2009_19_3_a6/ %G en %F IJAMCS_2009_19_3_a6