Merkliste 
 1 Ergebnisse 
 
1

Numerics with automatic result verification:

Kulisch, Ulrich ; Rall, L.B.
Mathematics and Computers in Simulation.  35 (1993)  5 - p. 435-450 , 1993