Pages that link to "Item:Q1313331"

The following pages link to Rigorous chaos verification in discrete dynamical systems (Q1313331):

Displaying 24 items.

• An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum (Q301132) (← links)
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations (Q361909) (← links)
• Computational complexity of iterated maps on the interval (Q449664) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Towards a computer-assisted proof for chaos in a forced damped pendulum equation (Q861906) (← links)
• Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
• Covering relations, cone conditions and the stable manifold theorem (Q1007257) (← links)
• Rigorous proof of chaotic behaviour in a dumbbell satellite model (Q1593780) (← links)
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
• Parameterization method for unstable manifolds of delay differential equations (Q1654463) (← links)
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
• A note on the convergence of parametrised non-resonant invariant manifolds (Q2431079) (← links)
• A verified optimization technique to locate chaotic regions of Hénon systems (Q2505553) (← links)
• Homoclinic shadowing (Q2570847) (← links)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS (Q3536108) (← links)
• Numerical computation of orbits and rigorous verification of existence of snapback repellers (Q3624691) (← links)
• (Q3791090) (← links)
• Reliable Representations of Strange Attractors (Q4577135) (← links)
• INTERVAL-BASED TRACING OF STRANGE ATTRACTORS (Q5291405) (← links)
• Self-validating methods (Q5929742) (← links)
• Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level (Q5933467) (← links)
• Verification of chaotic behaviour in the planar restricted three body problem (Q5954986) (← links)