Follow
Dietmar Ratz
Dietmar Ratz
Baden-Wuerttemberg Cooperative State University Karlsruhe
Verified email at dhbw-karlsruhe.de
Title
Cited by
Cited by
Year
Numerical toolbox for verified computing I: Basic numerical problems theory, algorithms, and pascal-XSC programs
R Hammer, M Hocks, U Kulisch, D Ratz
Springer Science & Business Media, 2012
3892012
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
R Hammer, M Hocks, U Kulisch, D Ratz
Springer Science & Business Media, 2012
3592012
PASCAL-XSC: Language reference with examples
R Klatte, U Kulisch, M Neaga, D Ratz, C Ullrich
Springer Science & Business Media, 2012
2732012
Subdivision direction selection in interval methods for global optimization
T Csendes, D Ratz
SIAM Journal on Numerical Analysis 34 (3), 922-938, 1997
2201997
On the selection of subdivision directions in interval branch-and-bound methods for global optimization
D Ratz, T Csendes
Journal of Global Optimization 7 (2), 183-207, 1995
1571995
Pascal-XSC: Sprachbeschreibung Mit Beispielen
R Klatte, U Kulisch, M Neaga, D Ratz, C Ullrich
Springer-Verlag, 2013
1052013
Automatische ergebnisverifikation bei globalen optimierungsproblemen
D Ratz
Karlsruhe, Univ., Diss., 1992, 1992
961992
Towards self-organizing knowledge intensive processes
C Richter-von Hagen, D Ratz, R Povalej
Journal of Universal Knowledge Management 2, 148-169, 2005
862005
Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method
D Ratz
Computing 53 (3-4), 337-353, 1994
641994
Automatic slope computation and its application in nonsmooth global optimization
D Ratz
Verlag nicht ermittelbar, 1998
601998
A nonsmooth global optimization technique using slopes: the one-dimensional case
D Ratz
Journal of Global Optimization 14, 365-393, 1999
561999
Improving the efficiency of a nonlinear-system-solver using a componentwise newton method
S Herbort, D Ratz
Inst. für Angewandte Mathematik, 1997
401997
Pascal-XSC new concepts for scientific computation and numerical data processing
R Hammer, M Neaga, D Ratz
Mathematics in science and engineering 189, 15-44, 1993
321993
A combined method for enclosing all solutions of nonlinear systems of polynomial equations
C Jäger, D Ratz
Reliable Computing 1 (1), 41-64, 1995
291995
Grundkurs Programmieren in Java
D Ratz, D Schulmeister-Zimolong, D Seese, J Wiesenberger
Carl Hanser Verlag GmbH Co KG, 2018
282018
Inclusion isotone extended interval arithmetic
D Ratz
Bericht 5, 96, 1996
271996
The effects of the arithmetic of vector computers on basic numerical methods
D Ratz
Contributions to Computer Arithmetic and Self-Validating Numerical Methods 7 …, 1990
271990
An optimized interval slope arithmetic and its application
D Ratz
Inst. für Angewandte Mathematik, 1996
221996
On extended interval arithmetic and inclusion isotonicity
D Ratz
Institut für Angewandte Mathematik, Universität Karlsruhe, 1996
211996
An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation
D Ratz
Computer arithmetic and enclosure methods, 329-338, 1992
211992
The system can't perform the operation now. Try again later.
Articles 1–20