Interval Analysis : : and Automatic Result Verification / / Günter Mayer.
This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through man...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Plus DeG Package 2017 Part 1 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2017] ©2017 |
Year of Publication: | 2017 |
Language: | English |
Series: | De Gruyter Studies in Mathematics ,
65 |
Online Access: | |
Physical Description: | 1 online resource (XIV, 518 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- Preface
- Contents
- 1. Preliminaries
- 2. Real intervals
- 3. Interval vectors, interval matrices
- 4. Expressions, P-contraction, ε-inflation
- 5. Linear systems of equations
- 6. Nonlinear systems of equations
- 7. Eigenvalue problems and related ones
- 8. Automatic differentiation
- 9. Complex intervals
- Final Remarks
- Appendix
- A. Proof of the Jordan normal form
- B. Two elementary proofs of Brouwer’s fixed point theorem
- C. Proof of the Newton–Kantorovich Theorem
- D. Convergence proof of the row cyclic Jacobi method
- E. The CORDIC algorithm
- F. The symmetric solution set – a proof of Theorem 5.2.6
- G. A short introduction to INTLAB
- Bibliography
- Symbol Index
- Author Index
- Subject Index