Pages that link to "Item:Q4557492"

The following pages link to Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492):

Displaying 14 items.

• Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems (Q2112931) (← links)
• Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation (Q2204503) (← links)
• Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
• Rigorous validation of stochastic transition paths (Q2334873) (← links)
• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem (Q2423229) (← links)
• A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations (Q2659598) (← links)
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
• Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
• Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem (Q6065756) (← links)
• Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)
• Semianalytical Computation of Heteroclinic Connections Between Center Manifolds with the Parameterization Method (Q6144485) (← links)
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
• A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)
• Quasiperiodicity and blowup in integrable subsystems of nonconservative nonlinear Schrödinger equations (Q6195976) (← links)