Chapter 1 Proving Conjectures by Use of Interval Arithmetic

Chapter 3 Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers

Chapter 4 Elements of Scientific Computing

Chapter 5 The Mainstreaming of Interval Arithmetic

Chapter 6 Bounds for Eigenvalues with the Use of Finite Elements

Chapter 7 Algorithmic Differencing

Chapter 8 A Comparison of Techniques for Evaluating Centered Forms

Chapter 9 On the Limit of the Total Step Method in Interval Analysis

Chapter 10 How Fast can Moore’s Interval Integration Method Really be?

Chapter 11 Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments

Chapter 12 On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds

Chapter 13 A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations

Chapter 14 A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements

Chapter 15 Nonsmooth Global Optimization