2 works on record
C++ toolbox for verified computing I
Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung