Interval analysis and automatic result verification
MAYER, Günter
Interval analysis and automatic result verification [online] / Günter Mayer - Berlin : De Gruyter, 2017 - 1 resursă online (518 p.) - De Gruyter Studies in Mathematics, 65 .
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
9783110499469
DE-Matematică
Interval analysis and automatic result verification [online] / Günter Mayer - Berlin : De Gruyter, 2017 - 1 resursă online (518 p.) - De Gruyter Studies in Mathematics, 65 .
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
9783110499469
DE-Matematică