Matthias Hocks · 2 obras en el catálogoObrasC++ toolbox for verified computing IIInnere-Punkt-Methoden und automatische Ergebnisverifikation Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung
IInnere-Punkt-Methoden und automatische Ergebnisverifikation Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung