Ratz, Dietmar
VIAF ID: 313231695 ( Personal )
Permalink: http://viaf.org/viaf/313231695
Preferred Forms
- 100 1 _ ‡a Ratz, Dietmar
- 100 1 _ ‡a Ratz, Dietmar
- 100 1 _ ‡a Ratz, Dietmar
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automatic slope computation and its application in nonsmooth global optimization | |
Automatische Ergebnisverifikation bei globalen Optimierungsproblemen | |
Grundkurs Programmieren in Java | |
Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs |