Pages that link to "Item:Q1963439"

The following pages link to Computer assisted proof of chaos in the Lorenz equations (Q1963439):

Displaying 50 items.

• A database of rigorous and high-precision periodic orbits of the Lorenz model (Q312809) (← links)
• A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
• Chaos in a seasonally perturbed SIR model: avian influenza in a seabird colony as a paradigm (Q353081) (← links)
• Bursting phenomena as well as the bifurcation mechanism in controlled Lorenz oscillator with two time scales (Q432881) (← links)
• Chaoticity of some chemical attractors: a computer assisted proof (Q551988) (← links)
• Systematic search of symmetric periodic orbits in 2DOF Hamiltonian systems (Q602355) (← links)
• Global invariant manifolds in the transition to preturbulence in the Lorenz system (Q652423) (← links)
• Chaos in Vallis' asymmetric Lorenz model for \textit{El Niño} (Q727798) (← links)
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
• Towards a computer-assisted proof for chaos in a forced damped pendulum equation (Q861906) (← links)
• A three-parametric study of the Lorenz model (Q885908) (← links)
• Covering relations, cone conditions and the stable manifold theorem (Q1007257) (← links)
• Computer-assisted verification of chaos in the model of nuclear spin generator (Q1030225) (← links)
• A computer proof that the Lorenz equations have ``chaotic'' solutions (Q1324453) (← links)
• Evolution of mathematical proof (Q1567045) (← links)
• Computer assisted proof of chaotic dynamics in the Rössler map (Q1599794) (← links)
• A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
• Asymptotic behavior of solutions of Lorenz-like systems: analytical results and computer error structures (Q1696065) (← links)
• Existence of a singularly degenerate heteroclinic cycle in the Lorenz system and its dynamical consequences. I (Q1768363) (← links)
• Covering relations for multidimensional dynamical systems (Q1877848) (← links)
• A shooting approach to chaos in the Lorenz equations (Q1913660) (← links)
• Determining consecutive periods of the Lorenz maps (Q1957550) (← links)
• Isolating segments, fixed point index, and symbolic dynamics (Q1975454) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• A computer-assisted proof of symbolic dynamics in Hyperion's rotation (Q2005635) (← links)
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
• Computer assisted proof of drift orbits along normally hyperbolic manifolds (Q2060658) (← links)
• Deep learning of conjugate mappings (Q2077602) (← links)
• Computer assisted proofs of two-dimensional attracting invariant tori for ODEs (Q2211119) (← links)
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
• A computer-assisted proof of existence of a periodic solution (Q2263959) (← links)
• Sensitivity tools vs. Poincaré sections (Q2483608) (← links)
• Stochastic chaos in chemical Lorenz system: interplay of intrinsic noise and nonlinearity (Q2679925) (← links)
• Automatized Search for Complex Symbolic Dynamics with Applications in the Analysis of a Simple Memristor Circuit (Q2930508) (← links)
• VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS (Q2994880) (← links)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• TOPOLOGICAL HORSESHOES AND COMPUTER ASSISTED VERIFICATION OF CHAOTIC DYNAMICS (Q3394410) (← links)
• PAINTING CHAOS: A GALLERY OF SENSITIVITY PLOTS OF CLASSICAL PROBLEMS (Q3498688) (← links)
• BIFURCATIONS AND CHAOS IN HAMILTONIAN SYSTEMS (Q3586848) (← links)
• Numerical computation of orbits and rigorous verification of existence of snapback repellers (Q3624691) (← links)
• Chaos in the Lorenz equations: a computer-assisted proof (Q4320743) (← links)
• A “SHOOTING” APPROACH TO CHAOS (Q4342262) (← links)
• COMPUTER-GENERATED PROOFS OF PHASE PORTRAITS FOR PLANAR SYSTEMS (Q4346653) (← links)
• (Q4536844) (← links)
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
• Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system (Q4644665) (← links)
• A Lorenz-type attractor in a piecewise-smooth system: Rigorous results (Q4972983) (← links)
• Sliding homoclinic bifurcations in a Lorenz-type system: Analytic proofs (Q4989103) (← links)
• Homoclinic Bifurcations and Chaos in the Fishing Principle for the Lorenz-like Systems (Q5116651) (← links)