Chapter 1 Computing elementary functions: A new approach for achieving high accuracy and good performance

Chapter 2 Fast elementary function algorithms for 370 machines

Chapter 3 A new arithmetic for scientific computation

Chapter 4 New results on verified inclusions

Chapter 5 Accurate elliptic differential equation solver

Chapter 6 Case studies for augmented floating-point arithmetic

Chapter 7 Strict optimal error and residual estimates for the solution of linear algebraic systems by elimination methods in high-accuracy arithmetic

Chapter 8 Solving large sparse linear systems with guaranteed accuracy

Chapter 9 Symbolic and numeric manipulation of integrals

Chapter 10 Computer algebra and exact solutions to systems of polynomial equations

Chapter 12 An efficient stochastic method for round-off error analysis