Bounding Sets in Function Spaces with Applications to Nonlinear Operator Equations
Robert E. B. Moore · SIAM Review · 1978
We can compute with bounding sets of numbers, vectors, or functions using the techniques of interval mathematics. The techniques can be used to computationally verify sufficient conditions for existence, uniqueness, and convergence and to construct upper and lower bounds on solutions of nonlinear operator equations. Rounding errors are taken into account. We can compute with set-valued functions and operators on them. The techniques are also useful in search procedures for finding safe starting regions for iterative methods and for constructing natural stopping criteria.