Topological invariants, multivalued maps and computer assisted proofs in dynamics

DOI10.1016/0898-1221(96)00127-7zbMath0861.58027OpenAlexW1966170046MaRDI QIDQ1816695

Marian Mrozek

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

zbMATH Keywords

chaosdynamicsinterval arithmeticmultivalued mapsConley index theorycomputer assisted proofsisolating neighborhoods

Mathematics Subject Classification ID

Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Numerical methods for ordinary differential equations (65L99)

Related Items (14)

Metric horseshoes ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Dynamics of piecewise linear interval maps with hysteresis ⋮ Conley index for discrete multi-valued dynamical systems ⋮ Dynamical properties of spatial discretizations of a generic homeomorphism ⋮ Homology computation by reduction of chain complexes ⋮ Chaos in the Lorenz equations: a computer-assisted proof ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Linking combinatorial and classical dynamics: Conley index and Morse decompositions ⋮ Finite resolution dynamics ⋮ Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds ⋮ An algorithmic approach to the construction of homomorphisms induced by maps in homology ⋮ Topological horseshoes in continuous maps ⋮ Simplical models for the global dynamics of attractors

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

This page was built for publication: Topological invariants, multivalued maps and computer assisted proofs in dynamics