C++ toolbox for verified computing IRolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz · First published 1995Open the Tome
Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen OptimierungMatthias Hocks · First published 1995Open the Tome
