Pages that link to "Item:Q2249804"

The following pages link to Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804):

Displaying 38 items.

• A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
• Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation (Q321574) (← links)
• Spatially localized solutions of the Hammerstein equation with sigmoid type of nonlinearity (Q324588) (← links)
• A computable criterion for the existence of connecting orbits in autonomous dynamics (Q330541) (← links)
• Beyond the Melnikov method: A computer assisted approach (Q338453) (← links)
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations (Q361909) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series (Q495099) (← links)
• Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
• Analytic enclosure of the fundamental matrix solution. (Q906995) (← links)
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
• Parameterization method for unstable manifolds of delay differential equations (Q1654463) (← links)
• Beyond the Melnikov method. II: Multidimensional setting (Q1671213) (← 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)
• Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families (Q2004777) (← links)
• High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications (Q2007467) (← links)
• Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← links)
• Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
• The parameterization method for center manifolds (Q2180547) (← links)
• Computer assisted proofs of two-dimensional attracting invariant tori for ODEs (Q2211119) (← links)
• Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem (Q2423229) (← links)
• Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← 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)
• 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)
• Parameterization Method for Unstable Manifolds of Standing Waves on the Line (Q4964242) (← links)
• Complexity in a Hybrid van der Pol System (Q5158804) (← links)
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
• Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model (Q5349315) (← links)
• Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem (Q6065756) (← links)
• Computational methods in perturbation theory (Q6599390) (← links)