|aAccuracy and reliability in scientific computing /|cedited by Bo Einarsson.
260
|aPhiladelphia :|bSociety for Industrial and Applied Mathematics,|cc2005.
300
|axxiii, 338 p. :|bill. ;|c26 cm.
440
0
|aSoftware, environments, tools
504
|aIncludes bibliographical references (p. 301-334) and index.
505
20
|tWhat can go wrong in scientific computing? /|rBo Einarsson --|tAssessment of accuracy and reliability /|rRonald F. Boisvert, Ronald Cools, Bo Einarsson --|tApproximating integrals, estimating errors, and giving the wrong solution for a deceptively easy problem /|rRonald Cools --|tIntroduction to the quality of computed solutions /|rSven Hammarling --|tQualitative computing /|rFrancoise Chaitin-Chatelin, Elisabeth Traviesas-Cassan --|tPRECISE and the quality of reliable numerical software /|rFrancoise Chaitin-Chatelin, Elisabeth Traviesas-Cassan --|tTools for the verification of approximate solutions to differential equations /|rWayne H. Enright --|tGeneral methods for implementing reliable and correct software /|rBo Einarsson --|tUse and implementation of interval data types /|rG. William Walster --|tComputer-assisted proofs and self-validating methods /|rSiegfried M. Rump --|tHardware-assisted algorithms /|rCraig C. Douglas, Hans Petter Langtangen --|tIssues in accurate and reliable use of parallel computing in numerical programs /|rWilliam D. Gropp --|tSoftware-reliability engineering of numerical systems /|rMladen A. Vouk.