CAPD DynSys Library  4.0
CAPD DynSys Library Documentation

The CAPD-DynSys library is a collection of flexible C++ modules which are mainly designed for validated numerics for dynamical systems.