Outcome of Dagstuhl Seminars: 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, 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

Standardization/Hardware

R. Baker Kearfott, John D. Pryce, Nathalie Revol:
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. 1-6
Ulrich W. Kulisch:
Complete Interval Arithmetic and Its Implementation on the Computer. 7-26

Annie A. M. Cuyt, Franky Backeljauw, Stefan Becuwe, Michel Colman, Tom Docx, Joris Van Deun:
Continued Fractions for Special Functions: Handbook and Software. 27-40
Frithjof Blomquist, Werner Hofschuster, Walter Krämer:
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. 41-67
Werner Hofschuster, Walter Krämer, Markus Neher:
C-XSC and Closely Related Software Packages. 68-102
Markus Grimmer:
Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments. 103-116
Evgenija D. Popova:
Mathematica Connectivity to Interval Libraries filib++ and C-XSC. 117-132

Eva Dyllong:
Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. 133-144
Ekaterina Auer, Wolfram Luther:
Numerical Verification Assessment in Computational Biomechanics. 145-160
Di Jiang, Neil F. Stewart:
Robustness of Boolean Operations on Subdivision-Surface Models. 161-174
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. 175-188
Michel Kieffer:
Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors. 189-202
Andreas Frommer, Valeria Simoncini:
Error Bounds for Lanczos Approximations of Rational Functions of Matrices. 203-216

Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong:
Error-Free Transformation in Rounding Mode toward Zero. 217-229
Walter Krämer, Michael Zimmer:
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS. 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. 250-261