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.

中文翻译：

---

非线性方程的验证数值计算

在介绍了区间算术的基本性质之后，我们将讨论不同的方法，通过这些方法可以计算非线性方程解的经过验证的数值近似。