Home › Authors › Dietmar Ratz 👤 Dietmar Ratz 2 books Books by Dietmar Ratz Automatische Ergebnisverifikat Automatische Ergebnisverifikation bei globalen Optimierungsproblemen 1992 PASCAL-XSC 1992
