Computer Arithmetic and Self-Validating Numerical Methods
Published on 10. May 2014
316 pages
978-1-4832-6781-4 (ISBN)
Description
Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at the first international conference on "Computer Arithmetic and Self-Validating Numerical Methods, held in Basel from October 2 to 6, 1989. This book begins by providing a tutorial introduction to computer arithmetic with operations of maximum accuracy, differentiation arithmetic and enclosure methods, and programming languages for self-validating numerical methods. The rest of the chapters discuss the determination of guaranteed bounds for eigenvalues by variational methods and guaranteed inclusion of solutions of differential equations. An appendix covering the IMACS-GAMM resolution on computer arithmetic is provided at the end of this publication. This volume is recommended for researchers and professionals working on computer arithmetic and self-validating numerical methods.
More details
Other editions
Additional editions
Christian Ullrich
Computer Arithmetic and Self-validating Numerical Methods
Book
01/1990
Academic Press
€61.90
Article exhausted; check different version
Content
ContributorsPrefaceAcknowledgmentsWhat Do We Need beyond IEEE Arithmetic?Chips for High Precision ArithmeticEnclosure MethodsDifferentiation ArithmeticsIndustrial Applications of Interval TechniquesProgramming Languages for Enclosure MethodsThe Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods IThe Determination of Guaranteed Bounds to Eignevalues with the Use of Variational Methods IIValidated Solution of Initial Value Problems for ODEGuaranteed Inclusions of Solutions of Some Types of Boundary Value ProblemsPeriodic Solutions: Enclosure, Verification, and ApplicationsNumerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value ProblemsAspects of Self-Validating Numerics in Banach SpacesAppendix: IMACS-GAMM Resolution on Computer Arithmetic
