Perspectives on Enclosure Methods by Ulrich KulischPerspectives on Enclosure Methods by Ulrich Kulisch

Perspectives on Enclosure Methods

byUlrich KulischEditorRudolf Lohner, Axel Facius

Paperback | June 18, 2001

Pricing and Purchase Info

$125.55 online 
$150.50 list price save 16%
Earn 628 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.
Title:Perspectives on Enclosure MethodsFormat:PaperbackDimensions:345 pages, 24.4 × 17 × 0.02 inPublished:June 18, 2001Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3211835903

ISBN - 13:9783211835906


Table of 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)