Pages that link to "Item:Q2903935"

The following pages link to Computer assisted proof for normally hyperbolic invariant manifolds (Q2903935):

Displaying 17 items.

• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
• Rigorous enclosures of rotation numbers by interval methods (Q333777) (← links)
• A parallel algorithm for the computation of invariant tori in large-scale dissipative systems (Q387346) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Geometric proof for normally hyperbolic invariant manifolds (Q496743) (← 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)
• Transition state theory with quasi-periodic forcing (Q2207898) (← links)
• Time dependent center manifold in PDEs (Q2211120) (← links)
• Computing stable hierarchies of fiber bundles (Q2364738) (← links)
• Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
• Detecting invariant manifolds as stationary Lagrangian coherent structures in autonomous dynamical systems (Q2787882) (← links)
• Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (Q4588273) (← links)
• Existence of noise induced order, a computer aided proof (Q5856307) (← links)
• Some questions looking for answers in dynamical systems (Q6105875) (← links)
• Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system (Q6174359) (← links)
• Characterising blenders via covering relations and cone conditions (Q6652152) (← links)