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