Outcome of Dagstuhl Seminars: Reliable Implementation of Real Number Algorithms 2008

• Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther:
  Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. 1-27
  Electronic Edition (link) BibTeX
• George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith:
  Interval Subroutine Library Mission. 28-43
  Electronic Edition (link) BibTeX
• Eva Dyllong:
  Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations. 44-56
  Electronic Edition (link) BibTeX
• Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas:
  Real Algebraic Numbers: Complexity Analysis and Experimentation. 57-82
  Electronic Edition (link) BibTeX
• Sebastian Kempken, Wolfram Luther:
  Verified Methods in Stochastic Traffic Modelling. 83-101
  Electronic Edition (link) BibTeX
• Branimir Lambov:
  Interval Arithmetic Using SSE-2. 102-113
  Electronic Edition (link) BibTeX
• Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
  Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. 114-126
  Electronic Edition (link) BibTeX
• Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou:
  Robustness and Randomness. 127-148
  Electronic Edition (link) BibTeX
• Lance Edward Miller, Edward L. F. Moore, Thomas J. Peters, Alexander Russell:
  Topological Neighborhoods for Spline Curves: Practice & Theory. 149-161
  Electronic Edition (link) BibTeX
• Vadim Shapiro:
  Homotopy Conditions for Tolerant Geometric Queries. 162-180
  Electronic Edition (link) BibTeX
• Neil F. Stewart, Malika Zidani:
  Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling. 181-192
  Electronic Edition (link) BibTeX
• Chee-Keng Yap:
  Theory of Real Computation According to EGC. 193-237
  Electronic Edition (link) BibTeX