Computer Arithmetic and Self-Validating Numerical Methods

Booknews

A number of papers give a tutorial introduction to computer arithmetic with operations of maximum accuracy, differentiation arithmetic and enclosure methods, as well as programming languages for self- validating numerical methods. Other contributions discuss the determination of guaranteed bounds for eigenvalues by variational methods and the guaranteed inclusion of solutions of differential equations. An appendix supplies the IMACS-GAMM Resolution on Computer Arithmetic which is supposed to put pressure on manufacturers to implement computer arithmetic operations with necessary care. Annotation c. Book News, Inc., Portland, OR (booknews.com)