Introduction to ACRITH - Accurate Scientific Algorithms Rump, Siegfried M. 1987 - TUHH Open Research - frei zugänglich
Algebraic computation, numerical computation and verified inclusions Rump, Siegfried M. 1987 - TUHH Open Research - frei zugänglich
