CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Numerical Analysis
2021-07-28 v1 Mathematical Software
Numerical Analysis
Dynamical Systems
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.
Keywords
Cite
@article{arxiv.2010.07097,
title = {CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems},
author = {Tomasz Kapela and Marian Mrozek and Daniel Wilczak and Piotr Zgliczyński},
journal= {arXiv preprint arXiv:2010.07097},
year = {2021}
}
Comments
25 pages, 4 figures, 11 full C++ examples