Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung - Hocks, Matthias 1964- (1995)