Accuracy and Reliability in Scientific Computing

List of Contributors; List of Figures; List of Tables; Preface; Part I: PITFALLS IN NUMERICAL COMPUTATION. Chapter 1: What Can Go Wrong in Scientific Computing? Bo Einarsson; Chapter 2: Assessment of Accuracy and Reliability, Ronald F. Boisvert, Ronald Cools, and Bo Einarsson; Chapter 3: Approximating Integrals, Estimating Errors, and Giving the Wrong Solution for a Deceptively Easy Problem, Ronald Cools; Chapter 4: An Introduction to the Quality of Computed Solutions, Sven Hammarling; Chapter 5: Qualitative Computing, Francoise Chaitin-Chatelin and Elisabeth Traviesas-Cassan; Part II: DIAGNOSTIC TOOLS. Chapter 6: PRECISE and the Quality of Reliable Numerical Software, Francoise Chaitin-Chatelin and Elisabeth Traviesas-Cassan; Chapter 7: Tools for the Verification of Approximate Solutions to Differential Equations, Wayne H. Enright; Part III: TECHNOLOGY FOR IMPROVING ACCURACY AND RELIABILITY. Chapter 8: General Methods forImplementing Reliable and Correct Software, Bo Einarsson; Chapter 9: The Use and Implementation of Interval Data Types, G.WilliamWalster; Chapter 10: Computer-Assisted Proofs and Self-Validating Methods, Siegfried M. Rump; Chapter 11: Hardware Assisted Algorithms, Craig C. Douglas and Hans Petter Langtangen; Chapter 12: Issues in Accurate and Reliable Use of Parallel Computing in Numerical Programs, William D. Gropp; Chapter 13: Software Reliability Engineering of Numerical Systems, Mladen A. Vouk; Bibliography; Index.

Bo Einarsson has retired as an Associate Professor of Numerical Analysis and Numerical Analyst at the National Supercomputer Center at Linkoping University in Sweden.