[Reliable_computing] just got new Guenter Mayer's book, it is indeed very good
vladik at utep.edu
Sat Aug 12 12:22:11 CDT 2017
and Automatic Result Verification
Series:De Gruyter Studies in Mathematics<https://www.degruyter.com/view/serial/16084> 65
・ A self-contained introduction to the field of interval computation.
・ Covers automatic result verification and relevant algorithms.
・ An up-to-date and didactic overview of a subject underlying computer mathematics and scientific computing.
Aims and Scope
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.
・ Real intervals
・ Interval vectors, interval matrices
・ Expressions, P-contraction, ε-inflation
・ Linear systems of equations
・ Nonlinear systems of equations
・ Eigenvalue problems
・ Automatic differentiation
・ Complex intervals
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the reliable_computing