Stop the war!
Остановите войну!
for scientists:
default search action
Outcome of Dagstuhl Seminars: Numerical Validation in Current Hardware Architectures 2008
- Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein:
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
Tools
- 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
Applications
- 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
Linear Systems
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.