Dagstuhl Seminar Proceedings: Reliable Implementation of Real Number Algorithms 2006

• Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
  06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
  Electronic Edition (link) BibTeX
• George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith:
  Interval Subroutine Library Mission.
  Electronic Edition (link) BibTeX
• Margarita V. Korovina, Nicolai Vorobjov:
  Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems.
  Electronic Edition (link) BibTeX
• Branimir Lambov:
  Interval Arithmetic Using SSE-2.
  Electronic Edition (link) BibTeX
• Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, Nicola Wolpert:
  A Descartes Algorithms for Polynomials with Bit-Stream Coefficients.
  Electronic Edition (link) BibTeX
• Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou:
  Robustness and Randomness.
  Electronic Edition (link) BibTeX
• Thomas J. Peters, Edward L. F. Moore:
  Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization.
  Electronic Edition (link) BibTeX
• Sylvain Pion, Hervé Brönnimann, Guillaume Melquiond:
  A Proposal to add Interval Arithmetic to the C++ Standard Library.
  Electronic Edition (link) BibTeX
• Neil F. Stewart, Malika Zidani:
  Transfinite interpolation for well-definition in error analysis in solid modelling.
  Electronic Edition (link) BibTeX
• Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
  Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.
  Electronic Edition (link) BibTeX
• Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
  06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
  Electronic Edition (link) BibTeX