Pages that link to "Item:Q4320743"

The following pages link to Chaos in the Lorenz equations: a computer-assisted proof (Q4320743):

Displaying 50 items.

• Entropy for symbolic dynamics with overlapping alphabets (Q300352) (← links)
• An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum (Q301132) (← links)
• A database of rigorous and high-precision periodic orbits of the Lorenz model (Q312809) (← links)
• Finite resolution dynamics (Q535286) (← links)
• Normal forms application for studying solitary wave solutions of non-integrable evolution systems (Q598564) (← links)
• Čech type approach to computing homology of maps (Q603858) (← links)
• Hyperbolic attractor in a system of coupled non-autonomous van der Pol oscillators: numerical test for expanding and contracting cones (Q620851) (← links)
• Global invariant manifolds in the transition to preturbulence in the Lorenz system (Q652423) (← links)
• A geometric method for detecting chaotic dynamics (Q678600) (← links)
• Cycle expansions: from maps to turbulence (Q718134) (← links)
• Chaos in Vallis' asymmetric Lorenz model for \textit{El Niño} (Q727798) (← links)
• Using machine learning to predict catastrophes in dynamical systems (Q765272) (← links)
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
• Complexity of software trustworthiness and its dynamical statistical analysis methods (Q848339) (← links)
• Knot theory based on the minimal braid in Lorenz system (Q930159) (← links)
• Homology algorithm based on acyclic subspace (Q945134) (← links)
• Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds (Q967202) (← links)
• Homology computation by reduction of chain complexes (Q1129483) (← links)
• A new proof for existence of horseshoe in the Rössler system (Q1433727) (← links)
• Simplical models for the global dynamics of attractors (Q1590088) (← links)
• A manifesto for the computational method (Q1603721) (← links)
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
• On the behavior of the Lorenz equation backward in time (Q1763672) (← links)
• Chaotic knots and wild dynamics (Q1809544) (← links)
• Topological invariants, multivalued maps and computer assisted proofs in dynamics (Q1816695) (← links)
• Remark on complicated dynamics of some planar system (Q1849153) (← links)
• Metric horseshoes (Q1878150) (← links)
• The chaotic region of Lorenz-type system in the parametric space (Q1878179) (← links)
• Lorenz type attractors from codimension one bifurcation (Q1898812) (← links)
• Conley index for discrete multi-valued dynamical systems (Q1900744) (← links)
• Computer assisted proof of chaos in the Lorenz equations (Q1963439) (← links)
• Rigorous error bounds for RK methods in the proof of chaotic behaviour (Q1964098) (← links)
• Adaptive cellular integration of linearly implicit differential equations (Q1964126) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• Distinguishing chaotic time series from noise: a random matrix approach (Q2005059) (← links)
• The existence of homoclinic orbits in the Lorenz system via the undetermined coefficient method (Q2009401) (← links)
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
• Combinatorial vs. classical dynamics: recurrence (Q2076255) (← links)
• Topological dynamics of volume-preserving maps without an equatorial heteroclinic curve (Q2077697) (← links)
• A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
• Persistence of Morse decompositions over grid resolution for maps and time series (Q2151733) (← links)
• Unpredictable points and chaos (Q2200255) (← links)
• A study of the regularized lid-driven cavity's progression to chaos (Q2207326) (← links)
• Linking combinatorial and classical dynamics: Conley index and Morse decompositions (Q2216246) (← links)
• A Conley index study of the evolution of the Lorenz strange set (Q2222773) (← links)
• A Lefschetz fixed point theorem for multivalued maps of finite spaces (Q2304329) (← links)
• On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
• The square of a map, symbolic dynamics and the Conley index (Q2477963) (← links)
• Topological horseshoes in continuous maps (Q2519664) (← links)
• Discrete version of a geometric method for detecting chaotic dynamics (Q2566257) (← links)