Walter Krämer

Michael Zimmer, Walter Krämer, Evgenija D. Popova: Solvers for the verified solution of parametric linear systems. Computing 94(2-4): 109-123 (2012)

Walter Krämer: Multiple/arbitrary precision interval computations in C-XSC. Computing 94(2-4): 229-241 (2012)

Laurie Davies, Christian Höhenrieder, Walter Krämer: Recursive computation of piecewise constant volatilities. Computational Statistics & Data Analysis 56(11): 3623-3631 (2012)

Walter Krämer, Frithjof Blomquist: Arbitrary Precision Complex Interval Computations in C-XSC. PPAM (2) 2011: 457-466

Evgenija D. Popova, Walter Krämer: Communicating Functional Expressions from Mathematica to C-XSC. ICMS 2010: 354-365

Walter Krämer, Michael Zimmer, Werner Hofschuster: Using C-XSC for High Performance Verified Computing. PARA (2) 2010: 168-178

Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers. Lecture Notes in Computer Science 5492, Springer 2009, isbn 978-3-642-01590-8

Markus Grimmer, Walter Krämer: An Open Source Parallel Interval Solver for Systems of Linear Fredholm Integral Equations of the Second Kind. CSC 2008: 204-210

Frithjof Blomquist, Werner Hofschuster, Walter Krämer: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. Numerical Validation in Current Hardware Architectures 2008

Frithjof Blomquist, Werner Hofschuster, Walter Krämer: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. Numerical Validation in Current Hardware Architectures 2008: 41-67

Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein: 08021 Summary - Numerical Validation in Current Hardware Architectures. Numerical Validation in Current Hardware Architectures 2008

Werner Hofschuster, Walter Krämer, Markus Neher: C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures 2008

Werner Hofschuster, Walter Krämer, Markus Neher: C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures 2008: 68-102

Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer: A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. Numerical Validation in Current Hardware Architectures 2008

Walter Krämer, Michael Zimmer: Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS. Numerical Validation in Current Hardware Architectures 2008: 230-249

Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer: A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. Numerical Validation in Current Hardware Architectures 2008: 250-261

Wolfram Luther, Annie A. M. Cuyt, Walter Krämer, Peter W. Markstein: 08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures. Numerical Validation in Current Hardware Architectures 2008

Michael Zimmer, Walter Krämer: Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS. Numerical Validation in Current Hardware Architectures 2008

Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Dagstuhl Seminar Proceedings 08021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008

Markus Grimmer, Walter Krämer: An MPI Extension for Verified Numerical Computations in Parallel Environments. CSC 2007: 111-117

Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer: FILIB++, a fast interval library supporting containment computations. ACM Trans. Math. Softw. 32(2): 299-324 (2006)

Achim Zeileis, Christian Kleiber, Walter Krämer, Kurt Hornik: Testing and dating of structural changes in practice. Computational Statistics & Data Analysis 44(1-2): 109-123 (2003)

Walter Krämer, Jürgen Wolff von Gudenberg: Extended Interval Power Function. Reliable Computing 9(5): 339-347 (2003)

Werner Hofschuster, Walter Krämer: C-XSC 2.0: A C++ Library for Extended Scientific Computing. Numerical Software with Result Verification 2003: 15-35

Walter Krämer, Armin Bantle: Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing 7(4): 321-340 (2001)

Werner Hofschuster, Walter Krämer: Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms? Reliable Computing 6(2): 207-218 (2000)

Walter Krämer: A Priori Worst Case Error Bounds for Floating-Point Computations. IEEE Trans. Computers 47(7): 750-756 (1998)

Walter Krämer: Constructive Error Analysis. J. UCS 4(2): 147-163 (1997)

Werner Hofschuster, Walter Krämer: A Computer Oriented Approach to Get Sharp Reliable Error Bounds. Reliable Computing 3(3): 239-248 (1997)

Walter Krämer: A Priori Worst-Case Error Bounds for Floating-Point Computations. IEEE Symposium on Computer Arithmetic 1997: 64-