CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
From MaRDI portal
Publication:2038109
DOI10.1016/j.cnsns.2020.105578zbMath1473.37004arXiv2010.07097OpenAlexW3093182962MaRDI QIDQ2038109
Daniel Wilczak, Tomasz Kapela, Marian Mrozek, Piotr Zgliczyński
Publication date: 9 July 2021
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2010.07097
Software, source code, etc. for problems pertaining to dynamical systems and ergodic theory (37-04) Approximation methods and numerical treatment of dynamical systems (37Mxx) Numerical problems in dynamical systems (65Pxx)
Related Items (18)
Validated Spectral Stability via Conjugate Points ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem ⋮ Lower bounds on the Hausdorff dimension of some Julia sets ⋮ Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs ⋮ Robustness analysis of continuous-depth models with Lagrangian techniques ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system ⋮ Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) ⋮ The Songling system has exactly four limit cycles ⋮ Computer assisted proof of drift orbits along normally hyperbolic manifolds ⋮ CAPD DynSys ⋮ On rigorous integration of continuous piecewise linear systems ⋮ From the Sharkovskii theorem to periodic orbits for the Rössler system ⋮ Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Beyond the Melnikov method: A computer assisted approach
- Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
- The existence of steady solutions of the Kuramoto-Sivashinsky equation
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
- An equation for hyperchaos
- Period doubling in the Rössler system -- a computer assisted proof
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Steady solutions of the Kuramoto-Sivashinsky equation
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- New methods for high-dimensional verified quadrature
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
- Beyond the Melnikov method. II: Multidimensional setting
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis
- Reliable nonlinear state estimation involving time uncertainties
- Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky equation
- \(C^1\) Lohner algorithm.
- Computer assisted proof of chaos in the Lorenz equations
- Computer assisted method for proving existence of periodic orbits
- Lagrangian reachabililty
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- A computer-assisted proof of existence of a periodic solution
- An equation for continuous chaos
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
- CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms
- Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
- VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS
- Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System
- MPFR
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- Chaos in the Lorenz equations: a computer-assisted proof
- Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
- The existence of simple choreographies for theN-body problem—a computer-assisted proof
- Set arithmetic and the enclosing problem in dynamics
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori
- Deterministic Nonperiodic Flow
- On the stability of periodic N-body motions with the symmetry of Platonic polyhedra
- Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
- A computable and compositional semantics for hybrid automata
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
- Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
- Rigorous verification of cocoon bifurcations in the Michelson system
- Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum
- Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
- Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system
This page was built for publication: CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
