Accuracy and Reliability in Scientific Computing
Society for Industrial and Applied Mathematics eBooks · 2005
Preface Part I. Pitfalls in Numerical Computation: 1. What can go wrong in scientific computing? Bo Einarsson 2. Assessment of accuracy and reliability Ronald F. Boisvert, Ronald Cools and Bo Einarsson 3. Approximating integrals, estimating errors and giving the wrong solution for a deceptively easy problem Ronald Cools 4. An introduction to the quality of computed solutions Sven Hammarling 5. Qualitative computing Francoise Chaitin-Chatelin and Elisabeth Traviesas-Cassan Part II. Diagnostic Tools: 6. PRECISE and the quality of reliable numerical software Francoise Chaitin-Chatelin and Elisabeth Traviesas-Cassan 7. Tools for the verification of approximate solutions to differential equations Wayne H. Enright Part III. Technology for Improving Accuracy and Reliability: 8. General methods for implementing reliable and correct software Bo Einarsson 9. The use and implementation of interval data types G. William Walster 10. Computer-assisted proofs and self-validating methods Siegfried M. Rump 11. Hardware assisted algorithms Craig C. Douglas and Hans Petter Langtangen 12. Issues in accurate and reliable use of parallel computing in numerical programs William D. Gropp 13. Software reliability engineering of numerical systems Mladen A. Vouk Bibliography Index.