Perspectives on enclosure

Contents: Proving Conjectures by Use of Interval Arithmetic (Andreas Frommer).- Advanced Arithmetic for the Digital Computer Interval Arithmetic Revisited (Ulrich W. Kulisch).- Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers (Axel Facius).- Elements of Scientific Computing (J. Hartmut Bleher).- The Mainstreaming of Interval Arithmetic (John L. Gustafson).- Bounds for Eigenvalues with the Use of Finite Elements (Henning Behnke, Ulrich Mertins).- Algorithmic Differencing (Louis B. Rall, Thomas W. Reps).- A Comparison of Techniques for Evaluating Centered Forms (Bruno Lang).- On the Limit of the Total Step Method in Interval Analysis (Günter Mayer, Ingo Warnke).- How Fast can Moore's Interval Integration Method Really be? (Jürgen Herzberger).- Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments (Wolfram Luther, Eva Dyllong, Daniela Fausten, Werner Otten, Holger Traczinski).- On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds (Rudolf J. Lohner).- A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations (Nedialko S. Nedialkov, Kenneth R. Jackson).- A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements (Mitsuhiro T. Nakao, Nobito Yamamoto).- Nonsmooth Global Optimization (Dietmar Ratz).