Dagstuhl Seminar Proceedings, Volume 8021,

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