Publisher's Synopsis
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