Accuracy and Reliability in Scientific Computing

Front Cover
Bo Einarsson
SIAM, Aug 1, 2005 - Science - 338 pages
0 Reviews
Developing accurate and reliable scientific software is notoriously difficult. This book investigates some of the difficulties related to scientific computing and provides insight into how to overcome them and obtain dependable results. The text deals thoroughly with the problems that affect software in general as well as the particular challenges of numerical computation: approximations occurring at all levels, continuous functions replaced by discretized versions, infinite processes replaced by finite ones, and real numbers replaced by finite precision numbers. Divided into three parts, it starts by illustrating some of the difficulties in producing robust and reliable scientific software. The second section describes diagnostic tools that can be used to assess the accuracy and reliability of existing scientific applications. In the last section, the authors describe a variety of techniques that can be employed to improve the accuracy and reliability of newly developed scientific applications.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

What Can Go Wrong in Scientific Computing?
3
Assessment of Accuracy and Reliability
13
Approximating Integrals Estimating Errors and Giving the Wrong Solution
33
An Introduction to the Quality of Computed Solutions
43
Qualitative Computing
77
PRECISE and the Quality of Reliable Numerical Software
95
Tools for the Verification of Approximate Solutions to Differential
109
TECHNOLOGY FOR IMPROVING ACCURACY AND RELIABILITY
123
The Use and Implementation of Interval Data Types
173
Computerassisted Proofs and Selfvalidating Methods
195
Hardwareassisted Algorithms
241
Issues in Accurate and Reliable Use of Parallel Computing
253
Softwarereliability Engineering of Numerical Systems
265
Bibliography
301
Index
335
Copyright

in Java
160

Common terms and phrases

About the author (2005)

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

Bibliographic information