Topological invariants, multivalued maps and computer assisted proofs in dynamics
type: Item
instance of: scholarly article
title: Topological invariants, multivalued maps and computer assisted proofs in dynamics
zbMATH Open document ID: 0861.58027
DOI: 10.1016/0898-1221(96)00127-7
author: Marian Mrozek
publication date: 1997-05-12T00:00:00Z
Mathematics Subject Classification ID: 37D45
Mathematics Subject Classification ID: 65L99
zbMATH DE Number: 950652
zbMATH Keywords: interval arithmetic
zbMATH Keywords: isolating neighborhoods
zbMATH Keywords: multivalued maps
zbMATH Keywords: computer assisted proofs
zbMATH Keywords: dynamics
zbMATH Keywords: chaos
zbMATH Keywords: Conley index theory
MaRDI profile type: Publication
full work available at URL: 0898-1221(96)00127-7
OpenAlex ID: W1966170046
cites work: Chaos in the Lorenz equations: a computer-assisted proof
cites work: Q4310152
cites work: Every planar map is four colorable. I: Discharging
cites work: Every planar map is four colorable. II: Reducibility
cites work: Theorems for a price: Tomorrow's semi-rigorous mathematical culture
cites work: Q3994368
cites work: A shooting approach to the Lorenz equations
cites work: Existence of a Homoclinic Orbit of the Lorenz System by Precise Shooting
cites work: A computer proof that the Lorenz equations have ``chaotic'' solutions
cites work: Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
cites work: A computer-assisted proof of universality for area-preserving maps
cites work: A computer-assisted proof of the Feigenbaum conjectures
cites work: Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
cites work: Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values
cites work: A combinatorial procedure for finding isolating neighbourhoods and index pairs
cites work: Q4180600
cites work: Q3831552
cites work: Q4278147
cites work: Fixed point index for iterations of maps, topological horseshoe and chaos
cites work: Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
cites work: Conley index for discrete multi-valued dynamical systems
cites work: Isolating neighborhoods and chaos
cites work: An algorithmic approach to the Conley index theory
cites work: Q5643279
cites work: Q4838463
cites work: On structural stability of ordinary differential equations with respect to discretization methods
cites work: The Conley index and symbolic dynamics
published in: Computers & Mathematics with Applications
description: scientific article; zbMATH DE number 950652