Pages that link to "Item:Q618187"
From MaRDI portal
The following pages link to Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187):
Displayed 14 items.
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
- A computer assisted study of uniqueness of ground state solutions (Q413726) (← links)
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
- Smooth parametrizations in dynamics, analysis, diophantine and computational geometry (Q495854) (← 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)
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications (Q2007467) (← links)
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation (Q2204503) (← links)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
- Polynomial Delay Algorithm for Listing Minimal Edge Dominating Sets in Graphs (Q3449842) (← 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)