C++ toolbox for verified computing IRolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz · First published 1995Open the Tome
Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von ProgrammteilenRolf Hammer · First published 1992Open the Tome
