Pages that link to "Item:Q475594"

The following pages link to Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594):

Displaying 22 items.

• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
• Beyond the Melnikov method: A computer assisted approach (Q338453) (← 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)
• 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)
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
• Recent results on the dynamics of higher-dimensional Hénon maps (Q1799400) (← links)
• Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations (Q2033673) (← links)
• Nonlinear normal modes and spectral submanifolds: existence, uniqueness and use in model reduction (Q2407573) (← 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)
• Continuation of solutions and studying delay differential equations via rigorous numerics (Q4557493) (← links)
• Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (Q4588273) (← links)
• High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps (Q4588279) (← links)
• Homoclinic points of 2D and 4D maps via the parametrization method (Q4588505) (← links)
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← 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)