Dagstuhl Seminar Proceedings: Numerical Validation in Current Hardware Architectures 2008

• Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein:
  08021 Summary - Numerical Validation in Current Hardware Architectures.
  Electronic Edition (link) BibTeX
• Jürgen Wolff von Gudenberg:
  Interval Arithmetic and Standardization.
  Electronic Edition (link) BibTeX
• Paul Zimmermann:
  Implementation of the reciprocal square root in MPFR.
  Electronic Edition (link) BibTeX
• Michael Zimmer, Walter Krämer:
  Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS.
  Electronic Edition (link) BibTeX
• Ekaterina Auer, Wolfram Luther:
  Numerical Verification Assessment in Computational Biomechanics.
  Electronic Edition (link) BibTeX
• Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio:
  Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
  Electronic Edition (link) BibTeX
• Gregorio de Miguel Casado, Juan Manuel García Chamizo:
  A Software Library for Reliable Online-Arithmetic with Rational Numbers.
  Electronic Edition (link) BibTeX
• Eva Dyllong:
  A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.
  Electronic Edition (link) BibTeX
• Markus Grimmer:
  Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments.
  Electronic Edition (link) BibTeX
• Werner Hofschuster, Walter Krämer, Markus Neher:
  C-XSC and Closely Related Software Packages.
  Electronic Edition (link) BibTeX
• Di Jiang, Neil F. Stewart:
  Robustness of Boolean operations on subdivision-surface models.
  Electronic Edition (link) BibTeX
• Michel Kieffer:
  Distributed parameter and state estimation in a network of sensors.
  Electronic Edition (link) BibTeX
• Frithjof Blomquist, Werner Hofschuster, Walter Krämer:
  A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.
  Electronic Edition (link) BibTeX
• Ulrich W. Kulisch:
  Complete Interval Arithmetic and its Implementation.
  Electronic Edition (link) BibTeX
• Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer:
  A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.
  Electronic Edition (link) BibTeX
• Peter W. Markstein:
  The New IEEE-754 Standard for Floating Point Arithmetic.
  Electronic Edition (link) BibTeX
• Markus Neher:
  The CoStLy C++ Class Library.
  Electronic Edition (link) BibTeX
• Evgenija D. Popova:
  On the Interoperability between Interval Software.
  Electronic Edition (link) BibTeX
• John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith:
  Second Note on Basic Interval Arithmetic for IEEE754R.
  Electronic Edition (link) BibTeX
• Andreas Rauh, Johanna Minisini, Eberhard P. Hofer:
  Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.
  Electronic Edition (link) BibTeX
• Wolfram Luther, Annie A. M. Cuyt, Walter Krämer, Peter W. Markstein:
  08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures.
  Electronic Edition (link) BibTeX