Pages that link to "Item:Q1400901"

The following pages link to Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof (Q1400901):

Displaying 50 items.

• A note on the existence of a Smale horseshoe in the planar circular restricted three-body problem (Q305005) (← links)
• Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem (Q344464) (← links)
• Dynamical aspects of multi-round horseshoe-shaped homoclinic orbits in the RTBP (Q642308) (← links)
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
• Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II (Q818594) (← links)
• Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
• Lunar landing trajectory design based on invariant manifold (Q940210) (← links)
• Covering relations, cone conditions and the stable manifold theorem (Q1007257) (← links)
• Bridges between the generalized Sitnikov family and the Lyapunov family of periodic orbits (Q1288867) (← links)
• Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. (Q1414013) (← links)
• Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem (Q1566311) (← 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)
• Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
• Covering relations for multidimensional dynamical systems (Q1877848) (← links)
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← 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)
• Melnikov method for non-conservative perturbations of the restricted three-body problem (Q2073333) (← links)
• Using normal forms to study Oterma's transition in the planar RTBP (Q2083292) (← links)
• Euler integral as a source of chaos in the three-body problem (Q2137191) (← links)
• Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem (Q2137348) (← links)
• Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation (Q2204503) (← links)
• Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems (Q2207440) (← links)
• Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
• Rigorous validation of stochastic transition paths (Q2334873) (← links)
• On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
• Transversal connecting orbits from shadowing (Q2373393) (← links)
• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem (Q2423229) (← links)
• A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map (Q2656034) (← links)
• Determination of the doubly symmetric periodic orbits in the restricted three-body problem and Hill's lunar problem (Q2688280) (← links)
• Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter (Q2819093) (← links)
• Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification (Q2958642) (← links)
• Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications (Q3132923) (← links)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• GEOMETRY OF HOMOCLINIC CONNECTIONS IN A PLANAR CIRCULAR RESTRICTED THREE-BODY PROBLEM (Q3498719) (← 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)
• 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)
• Heteroclinic Trajectory and Hopf Bifurcation in an Extended Lorenz System (Q4691111) (← links)
• Validated Spectral Stability via Conjugate Points (Q5037772) (← links)
• Torus knot choreographies in the n-body problem (Q5147943) (← links)
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
• Rich Bifurcation Structure in a Two-Patch Vaccination Model (Q5258574) (← links)
• Infinitely Many Heteroclinic Orbits of a Complex Lorenz System (Q5357154) (← links)
• (Q5454997) (← links)