Welcome to the Library Catalog of "Dunarea de Jos" University of Galati
Local cover image
Local cover image

Interval analysis and automatic result verification [online] / Günter Mayer

By: Material type: TextTextLanguage: English Series: De Gruyter Studies in Mathematics ; 65Publication details: Berlin : De Gruyter, 2017Description: 1 resursă online (518 p.)ISBN:
  • 9783110499469
Subject(s): Genre/Form:
Online resources:
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
Item type: E-Books List(s) this item appears in: Titluri cărți electronice achiziționate prin Anelis Plus (De Gruyter) | Titluri carți matematică (DC nave) intrate în 2016-2021 | Titluri cărți matematică (DC nave) publicate în 2017-2021 | Titluri cărți matematică intrate în 2010-2021 | Titluri cărți matematică intrate în 2016-2022 | Titluri cărți DC inginerie electrică (matematică) publicate în 2017-2022 | Titluri cărți matematică în limba engleză publicate în 2013-2023 | Titluri cărți matematică în limba engleză
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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

Achiziție prin proiectul Anelis Plus 2020.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image
Biblioteca Universității "Dunărea de Jos" din Galați

Powered by Koha