CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Tomasz Kapela, Marian Mrozek, Daniel Wilczak, Piotr Zgliczy\'nski
TL;DR
CAPD::DynSys is a C++ library designed for rigorous numerical analysis of dynamical systems, enabling computer-assisted proofs in the study of ODEs through its flexible interface and case studies.
Contribution
It introduces a flexible C++ toolbox that facilitates rigorous numerical analysis and computer-assisted proofs in dynamical systems.
Findings
Demonstrated use in case studies for computer-assisted proofs
Provides a flexible interface for dynamical systems analysis
Enables rigorous numerical computations in ODE dynamics
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.