A Rigorous ODE Solver and Smale’s 14th Problem

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Foundations of Computational Mathematics

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/s002080010018
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Dynamical Systems

  2021cited by this paper
• Lecture Notes in Mathematics

  2001cited by this paper
• Non-uniformly expanding dynamics in maps with singularities and criticalities

  1999influential reference
• Computer assisted proof of chaos in the Lorenz equations

  1998cited by this paper
• Mathematical problems for the next century

  1998cited by this paper
• Lorenz attractors with arbitrary expanding dimension

  1997cited by this paper
• Chaos in the Lorenz equations: a computer-assisted proof

  1995cited by this paper
• Hyperbolicity and sensitive chaotic dynamics at homoclinic bifurcations : fractal dimensions and infinitely many attractors

  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
• Lectures in celestial mechanics

  1989cited by this paper
• Homoclinic bifurcation to a transitive attractor of Lorenz type

  1989cited by this paper
• On the concept of attractor

  1985cited by this paper
• The Lorenz Equations: Bifurcations, Chaos, and Strange Attractors

  1982cited by this paper
• The structure of Lorenz attractors

  1979cited by this paper
• Structural stability of Lorenz attractors

  1979cited by this paper
• Metastable chaos: The transition to sustained chaotic behavior in the Lorenz model

  1979cited by this paper
• Methods and applications of interval analysis

  1979cited by this paper
• The topological classification of Lorenz attractors

  1978cited by this paper
• A Strange, Strange Attractor

  1976cited by this paper

• Ulam Meets Turing: Constructing Quadratic Maps with Non-Computable Physical Measures

  2026cites this paper
• Chaos in Autobidding Auctions

  2026cites this paper
• A general framework for linking free and forced fluctuations via Koopmanism

  2025cites this paper
• A mechanism for growth of topological entropy and global changes of the shape of chaotic attractors

  2025cites this paper
• Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces

  2025cites this paper
• When is a System Discoverable from Data? Discovery Requires Chaos

  2025cites this paper
• Wild dynamics on manifolds

  2025cites this paper
• Markov matrix perturbations to optimize dynamical and entropy functionals

  2025cites this paper
• History-dependent dynamical invariants in the Lorenz system

  2025cites this paper
• Computer assisted existence proofs for parameterized cycle-to-cycle connections

  2025cites this paper
• A mechanism for growth of topological entropy.

  2025cites this paper
• Rigged Dynamic Mode Decomposition: Data-Driven Generalized Eigenfunction Decompositions for Koopman Operators

  2025cites this paper
• Minimizing Residuals in ODE Integration Using Optimal Control

  2025cites this paper
• Bounding the density of binary sphere packing

  2025cites this paper
• Low-Dimensional ODE Embedding to Convert Low-Resolution Meters Into “Virtual” PMUs

  2025cites this paper
• On the Impulse Stabilization of the Lorenz System

  2025cites this paper
• Stability analysis for localized solutions in PDEs and nonlocal equations on $\mathbb{R}^m$

  2025cites this paper
• A Practical Guide to Rigorously Locate Periodic Orbits in Discrete Dynamics

  2025cites this paper
• Mamba Integrated with Physics Principles Masters Long-term Chaotic System Forecasting

  2025cites this paper
• On Impulsive Stabilization of Chen’s Chaotic System

  2025cites this paper
• Rigged Dynamic Mode Decomposition: Data-Driven Generalized Eigenfunction Decompositions for Koopman Operators

  2024cites this paper
• A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory

  2024cites this paper
• Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs

  2024cites this paper
• Lyapunov exponent and stochastic stability for infinitely renormalizable Lorenz maps

  2024cites this paper
• Rigorous enclosure of Lyapunov exponents of stochastic flows

  2024cites this paper
• A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations

  2024cites this paper
• On the choice of the non-trainable internal weights in random feature maps

  2024cites this paper
• Computer assisted proofs for transverse heteroclinics by the parameterization method

  2024cites this paper
• DySLIM: Dynamics Stable Learning by Invariant Measure for Chaotic Systems

  2024cites this paper
• The complexity of computing in continuous time: space complexity is precision

  2024cites this paper
• Symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line II

  2024cites this paper
• Constructive proofs of existence and stability of solitary waves in the Whitham and capillary–gravity Whitham equations

  2024cites this paper
• Robust chaos in Rn

  2024cites this paper
• Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods

  2023cites this paper
• Rigorous Computation of Solutions of Semilinear PDEs on Unbounded Domains via Spectral Methods

  2023cites this paper
• Linking number of modular knots

  2023cites this paper
• Attractors. Then and now

  2023cites this paper
• On the algorithmic descriptive complexity of attractors in topological dynamics

  2023cites this paper
• Frenetic steering: Nonequilibrium-enabled navigation.

  2023cites this paper
• On the generalized dimensions of physical measures of chaotic flows

  2023cites this paper
• Determination of Stable Branches of Relative Equilibria of the N-Vortex Problem on the Sphere

  2023cites this paper
• Computer‐assisted analysis of chaos in a three‐species food chain model

  2023cites this paper
• Enabling Floating-Point Arithmetic in the Coq Proof Assistant

  2023cites this paper
• Quenched decay of correlations for random contracting Lorenz maps

  2023cites this paper
• Lorenz’s View on the Predictability Limit of the Atmosphere

  2023cites this paper
• Determining Lyapunov exponents of fractional-order systems: A general method based on memory principle

  2023cites this paper
• Brunovsky Decomposition for Dynamic Interval Localization

  2023cites this paper
• Smooth self-similar imploding profiles to 3D compressible Euler

  2023cites this paper
• Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd

  2023cites this paper
• Hyperbolic and Satellite Lorenz Links Obtained by Twisting

  2023cites this paper
• Numerical Robustness Evaluation of Floating-Point Closed-Loop Control Based on Interval Analysis

  2023cites this paper
• Constructive proofs for localized radial solutions of semilinear elliptic systems on $\mathbb{R}^d$

  2022cites this paper
• Validated Numerical Software For Algebraic Curves With Singularities

  2022cites this paper
• Similarity signature curves for forming periodic orbits in the Lorenz system

  2022cites this paper
• Conjoined Lorenz twins-a new pseudohyperbolic attractor in three-dimensional maps and flows.

  2022cites this paper
• High-Order Lohner-Type Algorithm for Rigorous Computation of Poincaré Maps in Systems of Delay Differential Equations with Several Delays

  2022cites this paper
• Smooth imploding solutions for 3D compressible fluids

  2022cites this paper
• A dynamical approach to validated numerics

  2022cites this paper
• The Morse Equation in the Conley Index Theory for Discrete Multivalued Dynamical Systems

  2022cites this paper
• Periodic orbits in Hořava–Lifshitz cosmologies

  2022cites this paper
• The existence of $ \omega $-limit set for a modified Nosé-Hoover oscillator

  2022cites this paper
• Shell model intermittency is the hidden self-similarity

  2022cites this paper
• Value order in disorder

  2022cites this paper
• C*-algebraic Smale Mean Value Conjecture and Dubinin-Sugawa Dual Mean Value Conjecture

  2022cites this paper
• A proof of the $C^r$ closing lemma and stability conjecture

  2022cites this paper
• Stochastic and statistical stability of the classical Lorenz flow under perturbations modeling anthropogenic type forcing

  2022cites this paper
• Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: A Taylor-Chebyshev series approach

  2022cites this paper
• Infinite towers in the graphs of many dynamical systems

  2021cites this paper
• Towards understanding the theoretical challenges of numerical modeling of dynamical systems

  2021cites this paper
• Upper, down, two-sided Lorenz attractor, collisions, merging, and switching

  2021cites this paper
• Minimizers of a free boundary problem on three-dimensional cones

  2021cites this paper
• Parameter Identification of Lorenz System with Incomplete Information: Case of One Unknown Function

  2021cites this paper
• Maximum spread of graphs and bipartite graphs

  2021cites this paper
• Microscopic patterns in the 2D phase-field-crystal model

  2021cites this paper
• Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems

  2021cites this paper
• Parameter Identification of Lorenz System with Incomplete Information: Case of One Known and Two Unknown Functions

  2021cites this paper
• Decomposing the Dynamics of the Lorenz 1963 model using Unstable Periodic Orbits : Averages , Transitions , and Quasi-Periodic Sets

  2021cites this paper
• Computability of Differential Equations

  2021cites this paper
• Decomposing the dynamics of the Lorenz 1963 model using unstable periodic orbits: Averages, transitions, and quasi-invariant sets.

  2021cites this paper
• Complexity in a Hybrid van der Pol System

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

  2021cites this paper
• J an 2 00 9 Chapter 1 Lorenz-like chaotic attractors revised

  2021cites this paper
• Infinite towers in the graph of a dynamical system

  2021cites this paper
• A Numerical-Analytical Method for Constructing Periodic Solutions of the Lorenz System

  2021cites this paper
• The Zambelli Attractors of Coupled, Nonlinear Macrodynamics and Knot Theory

  2021cites this paper
• Density estimation on smooth manifolds with normalizing flows

  2021cites this paper
• Proposal for a Lorenz qubit

  2021cites this paper
• Validated Spectral Stability via Conjugate Points

  2021cites this paper
• Integration of Freeplay-Induced Limit Cycles Based On a State Space Iterating Scheme

  2021cites this paper
• Optimal Transport for Parameter Identification of Chaotic Dynamics via Invariant Measures

  2021influential citation
• The Fundamental Limits of Interval Arithmetic for Neural Networks

  2021cites this paper
• Complete invariants and parametrization of expansive Lorenz maps

  2021cites this paper
• 2 Wright ’ s Conjecture on a Nonlinear Delay Differential Equation

  2021cites this paper
• Use of Shrink Wrapping for Interval Taylor Models in Algorithms of Computer-Assisted Proof of the Existence of Periodic Trajectories in Systems of Ordinary Differential Equations

  2021cites this paper
• Is Weather Chaotic? Coexisting Chaotic and Non-chaotic Attractors Within Lorenz Models

  2021cites this paper
• Recent advances in rigorous computation of Poincaré maps

  2021cites this paper
• Strong fast invertibility and Lyapunov exponents for linear systems

  2021cites this paper
• Un solveur générique par intervalles pour le CSP différentio-algébrique

  2021cites this paper
• A geometric characterization of unstable blow-up solutions with computer-assisted proof

  2021cites this paper
• On discrete Lorenz-like attractors.

  2021cites this paper