


default search action
Accuracy and Reliability in Scientific Computing, 2005
- Bo Einarsson:

Accuracy and Reliability in Scientific Computing. Software, Environments, Tools 18, SIAM 2005, ISBN 978-0-89871-584-2 - Bo Einarsson:

1. What Can Go Wrong in Scientific Computing? 3-12 - Ronald F. Boisvert

, Ronald Cools, Bo Einarsson:
2. Assessment of Accuracy and Reliability. 13-32 - Ronald Cools:

3. Approximating Integrals, Estimating Errors, and Giving the Wrong Solution for a Deceptively Easy Problem. 33-42 - Sven Hammarling:

4. An Introduction to the Quality of Computed Solutions. 43-76 - Françoise Chaitin-Chatelin, Elisabeth Traviesas-Cassan:

5. Qualitative Computing. 77-92 - Françoise Chaitin-Chatelin, Elisabeth Traviesas-Cassan:

6. PRECISE and the Quality of Reliable Numerical Software. 95-108 - Wayne H. Enright:

7. Tools for the Verification of Approximate Solutions to Differential Equations. 109-121 - Bo Einarsson, Brian Wichmann, Kenneth W. Dritz, Craig C. Douglas, Hans Petter Langtangen, Van Snyder, Ronald F. Boisvert, Roldan Pozo:

8. General Methods for Implementing Reliable and Correct Software. 125-171 - G. William Walster:

9. The Use and Implementation of Interval Data Types. 173-194 - Siegfried M. Rump

:
10. Computer-Assisted Proofs and Self-Validating Methods. 195-240 - Craig C. Douglas, Hans Petter Langtangen:

11. Hardware-Assisted Algorithms. 241-251 - William D. Gropp:

12. Issues in Accurate and Reliable Use of Parallel Computing in Numerical Programs. 253-263 - Mladen A. Vouk:

13. Software-Reliability Engineering of Numerical Systems. 265-299

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













