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 | 389 | 2012 |
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 | 359 | 2012 |
PASCAL-XSC: Language reference with examples R Klatte, U Kulisch, M Neaga, D Ratz, C Ullrich Springer Science & Business Media, 2012 | 273 | 2012 |
Subdivision direction selection in interval methods for global optimization T Csendes, D Ratz SIAM Journal on Numerical Analysis 34 (3), 922-938, 1997 | 220 | 1997 |
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 | 157 | 1995 |
Pascal-XSC: Sprachbeschreibung Mit Beispielen R Klatte, U Kulisch, M Neaga, D Ratz, C Ullrich Springer-Verlag, 2013 | 105 | 2013 |
Automatische ergebnisverifikation bei globalen optimierungsproblemen D Ratz Karlsruhe, Univ., Diss., 1992, 1992 | 96 | 1992 |
Towards self-organizing knowledge intensive processes C Richter-von Hagen, D Ratz, R Povalej Journal of Universal Knowledge Management 2, 148-169, 2005 | 86 | 2005 |
Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method D Ratz Computing 53 (3-4), 337-353, 1994 | 64 | 1994 |
Automatic slope computation and its application in nonsmooth global optimization D Ratz Verlag nicht ermittelbar, 1998 | 60 | 1998 |
A nonsmooth global optimization technique using slopes: the one-dimensional case D Ratz Journal of Global Optimization 14, 365-393, 1999 | 56 | 1999 |
Improving the efficiency of a nonlinear-system-solver using a componentwise newton method S Herbort, D Ratz Inst. für Angewandte Mathematik, 1997 | 40 | 1997 |
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 | 32 | 1993 |
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 | 29 | 1995 |
Grundkurs Programmieren in Java D Ratz, D Schulmeister-Zimolong, D Seese, J Wiesenberger Carl Hanser Verlag GmbH Co KG, 2018 | 28 | 2018 |
Inclusion isotone extended interval arithmetic D Ratz Bericht 5, 96, 1996 | 27 | 1996 |
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 | 27 | 1990 |
An optimized interval slope arithmetic and its application D Ratz Inst. für Angewandte Mathematik, 1996 | 22 | 1996 |
On extended interval arithmetic and inclusion isotonicity D Ratz Institut für Angewandte Mathematik, Universität Karlsruhe, 1996 | 21 | 1996 |
An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation D Ratz Computer arithmetic and enclosure methods, 329-338, 1992 | 21 | 1992 |