Computer assisted proof of chaos in the Lorenz equations
type: Item
instance of: scholarly article
title: Computer assisted proof of chaos in the Lorenz equations
zbMATH Open document ID: 0941.37018
DOI: 10.1016/S0167-2789(97)00233-9
author: Zbigniew Galias
author: Piotr Zgliczyński
published in: Physica D
publication date: 2000-02-01T00:00:00Z
Mathematics Subject Classification ID: 37D45
Mathematics Subject Classification ID: 37N30
Mathematics Subject Classification ID: 34C28
Mathematics Subject Classification ID: 37M99
Mathematics Subject Classification ID: 37-04
Mathematics Subject Classification ID: 37C25
zbMATH DE Number: 1397374
zbMATH Keywords: computer assisted proof
zbMATH Keywords: existence of chaos
zbMATH Keywords: Poincaré map
zbMATH Keywords: Lorenz system
zbMATH Keywords: fixed point index
describes a project that uses: PROFIL/BIAS
MaRDI profile type: Publication
cites work: Q3042044
cites work: Q4180600
cites work: Isolating blocks and symbolic dynamics
cites work: Isolating blocks and epsilon chains for maps
cites work: Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
cites work: Q5557005
cites work: Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
cites work: Q3550030
cites work: A computer proof that the Lorenz equations have ``chaotic'' solutions
cites work: A shooting approach to the Lorenz equations
cites work: Q4036851
cites work: Deterministic Nonperiodic Flow
cites work: Chaos in the Lorenz equations: a computer-assisted proof
cites work: Isolating neighborhoods and chaos
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: Stable and Random Motions in Dynamical Systems
cites work: Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
cites work: CHUA’S CIRCUIT: RIGOROUS RESULTS AND FUTURE PROBLEMS
cites work: Differentiable dynamical systems
cites work: The Lorenz equations: bifurcations, chaos, and strange attractors
cites work: On the strange attractor and transverse homoclinic orbits for the Lorenz equations
cites work: A combinatorial procedure for finding isolating neighbourhoods and index pairs
cites work: Fixed point index for iterations of maps, topological horseshoe and chaos
cites work: Q4885381
cites work: Computer assisted proof of chaos in the Rössler equations and in the Hénon map
description: scientific article; zbMATH DE number 1397374