You are here

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Publisher: 
de Gruyter
Number of Pages: 
409
Price: 
108.00
ISBN: 
9783110203189

This is a treatise on the theory and implementation of computer arithmetic by one of the leading experts in the subject. It is the product of work done in the last 30 years whose evolution is explained in three previous books by Kulisch. The goal of the present book, stated in its preface, is to help "improve the accuracy of numerical computing and control the quality of the computed results".

The book has three parts. The first part lays out an algebraic theory of computer arithmetic, including interval arithmetic. The second part discusses in detail the implementation of computer arithmetic, including floating-point arithmetic and hardware support for interval arithmetic, a feature that Kulisch (with others) argues is long overdue: the potential resulting improvement in the reliability of numerical computation would easily offset any (small) extra costs. The third part is an introduction to the principles of verified computing, including a brief discussion of interval methods for global optimization, automatic differentiation, verified integration, and the interval Newton method.

The book will be useful mostly as a reference work for researchers in computer arithmetic, but its third part can also be used as an introduction to verified computing for users and students of applied mathematics.


Luiz Henrique de Figueiredo is a researcher at IMPA in Rio de Janeiro, Brazil. His main interests are numerical methods in computer graphics, but he remains an algebraist at heart. He is also one of the designers of the Lua language.

Date Received: 
Wednesday, July 30, 2008
Reviewable: 
Yes
Include In BLL Rating: 
No
Ulrich Kulisch
Series: 
Studies in Mathematics 33
Publication Date: 
2008
Format: 
Hardcover
Category: 
Monograph
Luiz Henrique de Figueiredo
09/17/2008
Publish Book: 
Modify Date: 
Wednesday, September 17, 2008

Dummy View - NOT TO BE DELETED