Perspectives on Enclosure Methods
Contributors: Ulrich Kulisch (Editor); Rudolf Lohner (Editor); Axel Facius (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 26, 2001
Language: eng
Format: Paperback
Number of pages: 345
ISBN-13: 9783211835906
Subjects: Applied mathematics; Calculus & mathematical analysis; Numerical Analysis; Interval analysis (Mathematics; Rivers; Computers; Mathematics; Number Systems; Science/Mathematics; Interval analysis (Mathematics); General; Machine Theory; Programming Languages - General; Mathematics / Number Systems; enclousure methods; interval mathematics; reliable computing; Computer Arithmetic; Computer Science
Description: 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.