Title: Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung