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
References in corpus (12)
- Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof
- An existence of simple choreographies for N-body problem - a computer assisted proof
- Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
- Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - Part II
- Symbolic dynamics for Kuramoto-Sivashinsky PDE on the line --- a computer-assisted proof
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- On the stability of periodic N-body motions with the symmetry of Platonic polyhedra
- Arnold Diffusion, Quantitative Estimates and Stochastic Behavior in the Three-Body Problem
- Rigorous numerics of finite-time singularities in dynamical systems - methodology and applications
Cited by in corpus (15)
- Recent advances in rigorous computation of Poincaré maps
- Topological-numerical analysis of a two-dimensional discrete neuron model
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- Smooth imploding solutions for 3D compressible fluids
- Generalized and multi-oscillation solitons in the Nonlinear Schrödinger Equation with quartic dispersion
- Periodic orbits in Rössler system
- Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds
- Axiomatization of Compact Initial Value Problems: Open Properties
- GoTube: Scalable Stochastic Verification of Continuous-Depth Models
- High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays
- Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds II: Application to the Restricted Three Body Problem
- Computational symplectic topology and symmetric orbits in the restricted three-body problem
- Lower bounds on the Hausdorff dimension of some Julia sets
- Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques
- Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces