Codac extensions CAPD (rigorous numerics in dynamical systems) Installing the codac-capd extension Content How to use Example