- 316 pages
- English
- PDF
- Available on iOS & Android
Computer Arithmetic and Self-Validating Numerical Methods
About This Book
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.
Frequently asked questions
Information
Table of contents
- Front Cover
- Computer Arithmetic and Self-Validating Numerical Methods
- Copyright Page
- Table of Contents
- Contributors
- Preface
- Acknowledgments
- Chapter 1. What Do We Need Beyond IEEE Arithmetic ?
- Chapter 2. Chips for High Precision Arithmetic
- Chapter 3. Enclosure Methods
- Chapter 4. Differentiation Arithmetics
- Chapter 5. Industrial Applications of Interval Techniques
- Chapter 6. Programming Languages for Enclosure Methods
- Chapter 7. The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I
- Chapter 8. The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods II
- Chapter 9. Validated Solution of Initial Value Problems for ODE
- Chapter 10. Guaranteed Inclusions of Solutions of some Types of Boundary Value Problems
- Chapter 11. Periodic Solutions: Enclosure, Verification, and Applications
- Chapter 12. Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems
- Chapter 13. Aspects of Self-Validating Numerics in Banach Spaces
- References
- Appendix: IMACS-GAMM Resolution on Computer Arithmetic
- NOTES AND REPORTS IN MATHEMATIC SINCIENCE AND ENGINEERING