Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

No abstract is available for this paper.

• Publication year

  1998

• Venue

  Mathematics of Computation

• Publication date

  1998-07-01

• Fields of study

  Mathematics, Physics, Computer Science

• Identifiers
  DOI 10.1090/S0025-5718-98-00945-4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Computer assisted proof of chaos in the Rössler equations and in the Hénon map

  1997cited by this paper
• Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations

  1996influential reference
• Topological invariants, mulitvalued maps and computer assisted proofs in dynamics

  1996influential reference
• On the Strange Attractor and Transverse Homoclinic Orbits for the Lorenz Equations

  1995cited by this paper
• Numerical solution of boundary value problems for ordinary differential equations

  1995cited by this paper
• Lorenz equations, Part III: Existence of hyperbolic sets

  1995influential reference
• Isolating neighborhoods and chaos

  1995influential reference
• Chaos in the Lorenz equations: a computer-assisted proof

  1995cited by this paper
• Conley index for discrete multi-valued dynamical systems

  1995cited by this paper
• Rigorous verification of chaos in a molecular model.

  1994cited by this paper
• A computer proof that the Lorenz equations have “chaotic” solutions

  1994cited by this paper
• The Wrapping Eeect, Ellipsoid Arithmetic, Stability and Conndence Regions

  1993cited by this paper
• The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions

  1993cited by this paper
• A shooting approach to the Lorenz equations

  1992cited by this paper
• Lorenz attractors through Šil'nikov-type bifurcation. Part I

  1990cited by this paper
• Leray functor and cohomological Conley index for discrete dynamical systems

  1990influential reference
• The Homotopy Index and Partial Differential Equations

  1987cited by this paper
• IEEE Standard for Binary Floating Point Arithmetic

  1985cited by this paper
• Isolated Invariant Sets and the Morse Index

  1978cited by this paper
• Stable and Random Motions in Dynamical Systems

  1975cited by this paper
• ELEMENTS OF ALGEBRAIC TOPOLOGY

  1972cited by this paper
• Differentiable dynamical systems

  1967cited by this paper

• Chain-type memristive maps featuring extreme multistability and their application in DCSK systems

  2026cites this paper
• Rigorously proven chaos in chemical kinetics.

  2024cites this paper
• Absence of Closed-Form Descriptions for Gradient Flow in Two-Layer Narrow Networks

  2024cites this paper
• A new 3D hidden conservative chaotic system with multistability and its circuit implementation

  2023cites this paper
• Nested set of periodic segments

  2023cites this paper
• Persistence of Morse decompositions over grid resolution for maps and time series

  2022influential citation
• Computational model for the nonlinear dynamic response of MEMS-based micromirror

  2022cites this paper
• Nash, Conley, and Computation: Impossibility and Incompleteness in Game Dynamics

  2022cites this paper
• Combinatorial vs. classical dynamics: Recurrence

  2021cites this paper
• COMPUTER TOOLS FOR SOLVING MATHEMATICAL PROBLEMS: A REVIEW

  2021cites this paper
• Persistence of Conley-Morse Graphs in Combinatorial Dynamical Systems

  2021cites this paper
• A geometric method for infinite-dimensional chaos: Symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line

  2020cites this paper
• Validated Numerical Approximation of Stable Manifolds for Parabolic Partial Differential Equations

  2020cites this paper
• Topological dynamics of volume-preserving maps without an equatorial heteroclinic curve

  2020cites this paper
• CAPD: : DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

  2020cites this paper
• A study of the regularized lid-driven cavity's progression to chaos

  2019cites this paper
• Synchronization of Fractional-Order Complex Chaotic System Using Active Control Method

  2019cites this paper
• Lattice Structures for Attractors III

  2019cites this paper
• Rigorous numerics for a singular perturbation problem

  2019cites this paper
• Adaptive Synchronization Strategy between Two Autonomous Dissipative Chaotic Systems Using Fractional-Order Mittag–Leffler Stability

  2019cites this paper
• The existence of homoclinic orbits in the Lorenz system via the undetermined coefficient method

  2019cites this paper
• Validated Chebyshev-based Computations for Ordinary and Partial Differential Equations

  2018cites this paper
• Ja n 20 16 Unpredictable Points and Chaos

  2018cites this paper
• Validated numerics for equilibria of analytic vector fields; Invariant manifolds and connecting orbits

  2018cites this paper
• A Conley index study of the evolution of the Lorenz strange set

  2018cites this paper
• Combinatorial Proof of Kakutani's Fixed Point Theorem

  2018cites this paper
• Positive Solutions to Indefinite Problems: A Topological Approach

  2018cites this paper
• Computer Assisted Proofs in Dynamics and Delay Equations

  2018cites this paper
• Computational dynamics - real and complex

  2017cites this paper
• Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

  2017cites this paper
• Understanding the Geometry of Dynamics: Invariant Manifolds and their Interactions

  2017cites this paper
• AMS Short Course on Rigorous Numerics in Dynamics: The Parameterization Method for Stable/Unstable Manifolds of Vector Fields

  2017cites this paper
• The Lid-Driven Cavity's Many Bifurcations - A Study of How and Where They Occur

  2017cites this paper
• Automatic differentiation for Fourier series and the radii polynomial approach

  2016cites this paper
• Unpredictable points and chaos

  2016cites this paper
• Entropy for Symbolic Dynamics with Overlapping Alphabets

  2016cites this paper
• Chaos on the Vallis Model for El Niño with Fractional Operators

  2016cites this paper
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence

  2016cites this paper
• Chaos , Solitons & Fractals Nonlinear Science , and Nonequilibrium and Complex Phenomena

  2015influential citation
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach

  2015cites this paper
• CAPD::RedHom - Reduction heuristics for homology algorithms

  2015cites this paper
• A New Chaotic System with Positive Topological Entropy

  2015cites this paper
• A database of rigorous and high-precision periodic orbits of the Lorenz model

  2015cites this paper
• On Computer-Assisted Proving The Existence Of Periodic And Bounded Orbits

  2015cites this paper
• On Some False Chaos Indicators When Analyzing Sampled Data

  2015cites this paper
• Chaos in Vallis' asymmetric Lorenz model for El Nino

  2015cites this paper
• AMS Short Course on Rigorous Numerics in Dynamics: (Un)Stable Manifolds and Connecting Orbits

  2015cites this paper
• CAPD: : RedHom v2 - Homology Software Based on Reduction Algorithms

  2014cites this paper
• Computing Global Invariant Manifolds : Techniques and Applications

  2014cites this paper
• A Strange Double-Deck Butterfly Chaotic Attractor from a Permanent Magnet Synchronous Motor with Smooth Air Gap: Numerical Analysis and Experimental Observation

  2014cites this paper
• Homology analysis of structures of high carbon bearing steel: effect of repeated quenching on prior austenite grain size

  2014cites this paper
• Projective synchronization of two fractional-order memristive systems via an active controller

  2013cites this paper
• Projective synchronisation of fractional-order memristive systems with different structures based on active control method

  2013cites this paper
• On detachable maps and flows

  2013cites this paper
• A restricted Conley index and robust dynamics of coupled oscillator systems

  2013cites this paper
• Probabilistic solution of differential equations for Bayesian uncertainty quantification and inference

  2013cites this paper
• Chaos in a seasonally perturbed SIR model: avian influenza in a seabird colony as a paradigm

  2012cites this paper
• An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum

  2012cites this paper
• CONNECTING ORBITS IN NONLINEAR SYSTEMS VICI GRANT PROPOSAL

  2012cites this paper
• A topology-based approach for nonlinear time series with applications in computer performance analysis

  2012cites this paper
• Robust Morse Decompositions of Piecewise Constant Vector Fields

  2012cites this paper
• Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools

  2011cites this paper
• The Conley index for piecewise continuous maps

  2011cites this paper
• On rigorous integration of piece-wise linear continuous systems

  2011cites this paper
• Computer Assisted Rigorous Proof of Chaos in the Ikeda Map

  2011cites this paper
• C-Lohner algorithm

  2011cites this paper
• Global invariant manifolds in the transition to preturbulence in the Lorenz system

  2011cites this paper
• Cr-Lohner algorithm

  2011cites this paper
• Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits

  2011cites this paper
• Determining Consecutive Periods of the Lorenz Maps

  2010cites this paper
• Adaptive Set-Oriented Computation of Topological Horseshoe Factors in Area and Volume Preserving Maps

  2010cites this paper
• Semi-Hyperbolicity and Bi-Shadowing

  2010cites this paper
• Digital Control as Source of Chaotic Behavior

  2010cites this paper
• Three-Dimensional Flows

  2010cites this paper
• Topological Approach to Rigorous Numerics of Chaotic Dynamical Systems with Strong Expansion of Error Bounds

  2010cites this paper
• Complexity of software trustworthiness and its dynamical statistical analysis methods

  2009cites this paper
• Symbolic dynamics for nonhyperbolic systems

  2009cites this paper
• Fixed points and chaotic dynamics for expansive-contractive maps in Euclidean spaces, with some applications

  2009cites this paper
• On blow-up "twistors" for the Navier--Stokes equations in $R^3$: a view from reaction-diffusion theory

  2009cites this paper
• ON SOME USEFUL CONDITIONS FOR HYPERBOLICITY

  2008cites this paper
• Hyperbolic attractor of Smale-Williams type in a system of two coupled non-autonomous amplitude equations

  2008cites this paper
• A Chaotic System with One saddle and Two Stable Node-Foci

  2008cites this paper
• Electronic Realizations of Chaotic Circuits: From Breadboard to Nanotechnology

  2008cites this paper
• A Computer-Assisted Proof of Σ3-Chaos in the Forced Damped Pendulum Equation

  2008influential citation
• On the robustness of chaos in dynamical systems: Theories and applications

  2008cites this paper
• Homology algorithm based on acyclic subspace

  2008cites this paper
• Rigorous study of short periodic orbits for the Lorenz system

  2008cites this paper
• Multivalued maps as a tool in modeling and rigorous numerics

  2008cites this paper
• Lyapunov Exponents . II

  2007cites this paper
• Validated Continuation for Infinite Dimensional Problems

  2007cites this paper
• Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer

  2007influential citation
• The Square of a Map, Symbolic Dynamics and the Conley Index

  2007cites this paper
• A Horseshoe in a Cellular Neural Network of Four-Dimensional Autonomous Ordinary Differential Equations

  2007cites this paper
• Discrete Lyapunov Exponent and Differential Cryptanalysis

  2007cites this paper
• $C^r$-Lohner algorithm

  2007cites this paper
• Synchronization criteria for non-autonomous chaotic systems via sinusoidal state error feedback control

  2007cites this paper
• Rigorous lower bounds for the topological entropy via a verified optimization technique

  2006cites this paper
• A counterexample to a multidimensional version of the weakened Hilbert's 16-th problem

  2006cites this paper
• A Verified Optimization Technique to Bound Topological Entropy Rigorously

  2006cites this paper
• Discrete version of a geometric method for detecting chaotic dynamics

  2005cites this paper