Interval Analysis and Automatic Result Verification

"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