Aplications

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]