capd
Computer Assisted Proofs in Dynamics
Dynamical Systems and Homology Software.
The CAPD library is a collection of flexible C++ modules which are mainly designed to computation of homology of sets and maps and nonrigorous and validated numerics for dynamical systems.