Interval methods for systems of equations

An interval is a natural way of specifying a number that is specified only within certain tolerances. Interval analysis consists of the tools and methods needed to solve linear and nonlinear systems of equations in the presence of data uncertainties. Applications include the sensitivity analysis of solutions of equations depending on parameters, the solution of global nonlinear problems, and the verification of results obtained by finite-precision arithmetic. In this book emphasis is laid on those aspects of the theory which are useful in actual computations. On the other hand, the theory is developed with full mathematical rigor. For reader convenience, the book contains various proofs from linear algebra (Perron-Frobenius theory, M- and H-matrices) and analysis (existence of solutions to nonlinear systems).