Matthias Hocks

Books by Matthias Hocks

Total count: 3

• Numerical Toolbox for Verified Computing I

  Island Press1993-01-01
• Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen OptimierungMikrofiche-Ausg.

  1995-01-01
• C++ Toolbox for Verified Computing I

  Island Press1995-01-01