Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung | lit.salon