After the introduction basic properties of interval arithmetic are discussed and different approaches are repeated by which one can compute verified numerical approximations for a solution of a nonlinear equation.
"Verified Numerical Computation for Nonlinear Equations." Japan J. Indust. Appl. Math. 26 (2-3) 297 - 315, October 2009.