On computer-assisted proving the existence of periodic and bounded orbits
From MaRDI portal
Publication:2363617
DOI10.1515/amsil-2015-0001zbMath1373.37041MaRDI QIDQ2363617
Publication date: 25 July 2017
Published in: Annales Mathematicae Silesianae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/amsil-2015-0001
37C27: Periodic orbits of vector fields and flows
37B30: Index theory for dynamical systems, Morse-Conley indices
37M99: Approximation methods and numerical treatment of dynamical systems
65P99: Numerical problems in dynamical systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Period doubling in the Rössler system -- a computer assisted proof
- Index pairs algorithms
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
- Every planar map is four colorable. I: Discharging
- Every planar map is four colorable. II: Reducibility
- The four-colour theorem
- Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof
- Solution of the Robbins problem
- 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.
- Double bubbles minimize
- A rigorous ODE solver and Smale's 14th problem
- Proof of the double bubble conjecture
- Topological invariants, multivalued maps and computer assisted proofs in dynamics
- Covering relations for multidimensional dynamical systems
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- A proof of the Kepler conjecture
- NUMERICAL STUDY OF COEXISTING ATTRACTORS FOR THE HÉNON MAP
- The Non-Existence of Finite Projective Planes of Order 10
- A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps
- Interval arithmetic
- A computer-assisted proof of universality for area-preserving maps
- A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- A computer-assisted proof of the Feigenbaum conjectures
- The Search for a Finite Projective Plane of Order 10
- A shooting approach to the Lorenz equations
- Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
- The Lorenz attractor exists
- Existence of a Homoclinic Orbit of the Lorenz System by Precise Shooting
- 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
- A computer-assisted proof of Saari’s conjecture for the planar three-body problem
- Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- 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
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation