This book treats an important set of techniques that provide a mathematically rigorous and complete error analysis for computational results. It shows that interval analysis provides a powerful set of tools with direct applicability to important problems in scientific computing.