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

2020/10/31 by Tomasz Kapela, Marian Mrożek, Marian Mrozek +2 · 1 citation
Mathematics · Physics and Astronomy · #Model Reduction and Neural Networks #Numerical methods for differential equations #Quantum chaos and dynamical systems

paper · doi:10.1016/j.cnsns.2020.105578

openalex publication_date 2020/11/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/30

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.

Citations

• Deterministic Nonperiodic Flow
• Arnold Diffusion, Quantitative Estimates and Stochastic Behavior in the\n Three-Body Problem

Cited by

• Arnold diffusion in the elliptic Hill four-body problem: geometric method and numerical verification