Topological invariants, multivalued maps and computer assisted proofs in dynamics
From MaRDI portal
Publication:1816695
DOI10.1016/0898-1221(96)00127-7zbMath0861.58027MaRDI QIDQ1816695
Publication date: 12 May 1997
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0898-1221(96)00127-7
chaos; dynamics; interval arithmetic; multivalued maps; Conley index theory; computer assisted proofs; isolating neighborhoods
37D45: Strange attractors, chaotic dynamics of systems with hyperbolic behavior
65L99: Numerical methods for ordinary differential equations
Related Items
Dynamics of piecewise linear interval maps with hysteresis, Chaos in the Lorenz equations: a computer-assisted proof, An algorithmic approach to the construction of homomorphisms induced by maps in homology, Finite resolution dynamics, Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds, Homology computation by reduction of chain complexes, Simplical models for the global dynamics of attractors, Metric horseshoes, Conley index for discrete multi-valued dynamical systems, Topological horseshoes in continuous maps
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Every planar map is four colorable. I: Discharging
- Every planar map is four colorable. II: Reducibility
- A computer proof that the Lorenz equations have ``chaotic solutions
- Theorems for a price: Tomorrow's semi-rigorous mathematical culture
- Fixed point index for iterations of maps, topological horseshoe and chaos
- Conley index for discrete multi-valued dynamical systems
- Isolating neighborhoods and chaos
- The Conley index and symbolic dynamics
- On structural stability of ordinary differential equations with respect to discretization methods
- An algorithmic approach to the Conley index theory
- A computer-assisted proof of universality for area-preserving maps
- A computer-assisted proof of the Feigenbaum conjectures
- A shooting approach to the Lorenz equations
- Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
- Existence of a Homoclinic Orbit of the Lorenz System by Precise Shooting
- Chaos in the Lorenz equations: a computer-assisted proof
- A combinatorial procedure for finding isolating neighbourhoods and index pairs
- Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values
