Pages that link to "Item:Q907673"

The following pages link to Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673):

Displayed 9 items.

• 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)
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) ‎ (← links)
• Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) ‎ (← 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)
• High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps (Q4588279) ‎ (← links)
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) ‎ (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) ‎ (← links)