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

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 11 The euclidean algorithm for gaussian integers

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