Pages that link to "Item:Q4719908"

The following pages link to Rigorous verification of chaotic behaviour of maps using validated shadowing (Q4719908):

Displaying 20 items.

• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← 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)
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
• The Kantorovich theorem and interior point methods (Q1769068) (← links)
• A survey of shadowing methods for numerical solutions of ordinary differential equations (Q1772802) (← links)
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
• Transversal homoclinic points of the Hénon map (Q2504896) (← links)
• Homoclinic shadowing (Q2570847) (← links)
• Chaos and the shadowing property (Q2643058) (← links)
• A note on chaos and the shadowing property (Q2817120) (← links)
• CHAOS ON HYPERSPACE (Q2845300) (← 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)
• HOMOCLINIC SHADOWING AND ITS APPLICATION TO CHAOTIC SYSTEMS (Q3536148) (← links)
• Genericity of inverse shadowing property (Q3570136) (← links)
• Numerical computation of orbits and rigorous verification of existence of snapback repellers (Q3624691) (← links)
• Chaos in Iterated Function Systems (Q4971068) (← links)
• On Topological Entropy of Finite Representations of the Hénon Map (Q5206890) (← links)
• Verification of chaotic behaviour in the planar restricted three body problem (Q5954986) (← links)