E-Book, Englisch, Band 65, 532 Seiten
and Automatic Result Verification
E-Book, Englisch, Band 65, 532 Seiten
Reihe: De Gruyter Studies in Mathematics
ISBN: 978-3-11-049946-9
Verlag: De Gruyter
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
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 many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation.
Contents
- Preliminaries
- Real intervals
- Interval vectors, interval matrices
- Expressions, -contraction, -inflation
- Linear systems of equations
- Nonlinear systems of equations
- Eigenvalue problems
- Automatic differentiation
- Complex intervals
Günter Mayer, University of Rostock, Rostock, Germany.
Zielgruppe
Graduate students and researchers in mathematics, physics and com
