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