Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Kapela et al. (2020) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: