Rigorous verification of chaotic behaviour of maps using validated shadowing
From MaRDI portal
Recommendations
- Verification of chaotic behaviour in the planar restricted three body problem
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- scientific article; zbMATH DE number 843185
- A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
- Rigorous chaos verification in discrete dynamical systems
Cited in
(24)- Transversal homoclinic points of the Hénon map
- Homoclinic shadowing
- Numerical computation of orbits and rigorous verification of existence of snapback repellers
- On topological entropy of finite representations of the Hénon map
- Genericity of inverse shadowing property
- The Kantorovich theorem and interior point methods
- A survey of shadowing methods for numerical solutions of ordinary differential equations
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Chaos in iterated function systems
- Chaos and the shadowing property
- A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Rigorous chaos verification in discrete dynamical systems
- RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
- A verified optimization technique to locate chaotic regions of Hénon systems
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Rigorous proof of chaotic behaviour in a dumbbell satellite model
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- A note on chaos and the shadowing property
- Verification of chaotic behaviour in the planar restricted three body problem
- Chaos on hyperspace
- HOMOCLINIC SHADOWING AND ITS APPLICATION TO CHAOTIC SYSTEMS
- TOWARDS AUTOMATED CHAOS VERIFICATION
This page was built for publication: Rigorous verification of chaotic behaviour of maps using validated shadowing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4719908)