CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
arXiv:2010.07097 · doi:10.1016/j.cnsns.2020.105578
Abstract
We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in dynamics of ODEs.
25 pages, 4 figures, 11 full C++ examples