Interval Analysis: and Automatic Result Verification

by Günter Mayer

Overview

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

Product Details

ISBN-13:	9783110500639
Publisher:	De Gruyter
Publication date:	04/10/2017
Series:	De Gruyter Studies in Mathematics , #65
Edition description:	New Edition
Pages:	532
Product dimensions:	6.69(w) x 9.45(h) x (d)
Age Range:	18 Years

About the Author

Günter Mayer, University of Rostock, Rostock, Germany.

Editorial Reviews

"The exposition is well structured and is written in a mathematically strict and comprehensive manner which contributes to an easy reading. As can be expected, due to volume restrictions, some of the sub-fields of interval analysis are not presented up to their recent state of the art, but this does not decrease the value of the book."
In: Zentralblatt für Mathematik

"The book is an in-depth overview of validated numerics, an emerging branch of scientific computing. Plenty of exercises and examples guide the reader from the very basics to current research topics."
Ferenc Agoston Bartha in: Mathematical Reviews Clippings (2018), MR3726854

From the Publisher