TY - JOUR AU - Auer, E. AU - Luther, W. TI - Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems JO - International Journal of Applied Mathematics and Computer Science PY - 2009 SP - 455 EP - 467 VL - 19 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IJAMCS_2009_19_3_a6/ LA - en ID - IJAMCS_2009_19_3_a6 ER -