This book treats an important set of techniques that provide a mathematically rigorous and complete error analysis for computational results. It shows that inte

Scientists are, all the time, in a struggle with uncertainty which is always a threat to a trustworthy scientific knowledge. A very simple and natural idea, to

Papers from a February 1994 international workshop held in El Paso, Texas, survey industrial applications of numerical analysis with automatic result verificati

CD-ROM contains: trial version of Sun Microsystems' Forte Developer 6 for use with Solaris SPARC Platform Edition 2.6, 2.7 and 2.8.

An update on the author's previous books, this introduction to interval analysis provides an introduction to INTLAB, a high-quality, comprehensive MATLAB toolbo