Outcome of Dagstuhl Seminars:
Reliable Implementation of Real Number Algorithms 2008
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.):
Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers.
Lecture Notes in Computer Science 5045 Springer 2008, ISBN 978-3-540-85520-0 
- Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther:
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.
1-27
- George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith:
Interval Subroutine Library Mission.
28-43
- Eva Dyllong:
Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations.
44-56
- Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas:
Real Algebraic Numbers: Complexity Analysis and Experimentation.
57-82
- Sebastian Kempken, Wolfram Luther:
Verified Methods in Stochastic Traffic Modelling.
83-101
- Branimir Lambov:
Interval Arithmetic Using SSE-2.
102-113
- Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.
114-126
- Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou:
Robustness and Randomness.
127-148
- Lance Edward Miller, Edward L. F. Moore, Thomas J. Peters, Alexander Russell:
Topological Neighborhoods for Spline Curves: Practice & Theory.
149-161
- Vadim Shapiro:
Homotopy Conditions for Tolerant Geometric Queries.
162-180
- Neil F. Stewart, Malika Zidani:
Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling.
181-192
- Chee-Keng Yap:
Theory of Real Computation According to EGC.
193-237
Copyright © Mon Nov 2 20:28:23 2009
by Michael Ley (ley@uni-trier.de)
