Physical description 
1 online resource (XII, 345 pages) 
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赮ter Mayer, Ingo Warnke)  How Fast can Moore's Interval Integration Method Really be? (J赲gen 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). 
Summary 
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization. 
Other author 
Lohner, Rudolf.


Facius, Axel.

Subject 
Mathematics.


Computer science.


Computer simulation.


Global analysis (Mathematics)


Algorithms.


Numerical analysis.


Mathematical optimization.


Algorithms. 

Computer science. 

Computer simulation. 

Global analysis (Mathematics) 

Mathematical optimization. 

Mathematics. 

Numerical analysis. 

Electronic books. 
ISBN 
9783709162828 (electronic bk.) 

3709162823 (electronic bk.) 
