CAPD (rigorous numerics in dynamical systems)

Installing the codac-capd extension

How to use