This section contains examples of how interval methods can be applied to solve real-world problems. The material in this section is a collection of somehow more advanced tutorials, which assume you have basic knowledge of the interval arithmetic packages.

  1. Rigorous approximation of π [notebook]

  2. Rigorous computation of function range [notebook]

  3. Polyhedral approximations with LazySets [notebook]