Interval analysis and automatic result verification (Q350548)

This is a basic book on the rapidly developing field of interval analysis and automatic result verification. The included material is self-contained and therefore the book can be useful for doctoral students. The book covers a broad spectrum of sub-fields enabling the reader to acquire a general overview of the field both from theoretical and applicational point of view. In the same time the book contains a number of specific results to be interesting for specialists in the field. The book is equipped with a rich subject index including a big number of scientific terms, as well as with an author index and a detailed list of references. 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.