Interval analysis and automatic result verification
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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Boston
De Gruyter
[2017]
|
| Schriftenreihe: | De Gruyter studies in mathematics
65 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FHA01 FHR01 FKE01 FLA01 TUM01 UBW01 UBY01 UPA01 FAB01 FCO01 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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, P-contraction, ε-inflation Linear systems of equations Nonlinear systems of equations Eigenvalue problems Automatic differentiation Complex intervals |
|---|---|
| Beschreibung: | 1 Online-Ressource (xiii, 516 Seiten) |
| ISBN: | 9783110499469 |
| DOI: | 10.1515/9783110499469 |