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 copyright Book News, Inc. Portland, Or.
