Perspectives on Enclosure Methods

Ulrich Kulisch

ISBN 10: 3211835903 / ISBN 13: 9783211835906

Published by Springer Vienna, Springer Vienna Jun 2001, 2001

About this Item

Neuware -InhaltsangabeProving 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)Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Seller Inventory # 9783211835906

Bibliographic Details

• Title: Perspectives on Enclosure Methods
• Publisher: Springer Vienna, Springer Vienna Jun 2001
• Publication Date: 2001
• Language: English
• ISBN 10: 3211835903
• ISBN 13: 9783211835906
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 244W x 170H x 20D millimeters 244 millimeters width by 170 millimeters height by 20 millimeters depth
• Weight: 635 grams

About this title

Synopsis

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.