CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

From MaRDI portal
Publication:2038109