Pages that link to "Item:Q3308752"

The following pages link to A computer-assisted proof of universality for area-preserving maps (Q3308752):

Displaying 36 items.

• Spectral properties of renormalization for area-preserving maps (Q262042) (← links)
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
• Convergence analysis of Taylor models and McCormick-Taylor models (Q367158) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Finite resolution dynamics (Q535286) (← links)
• Combination laws for scaling exponents and relation to the geometry of renormalization operators (Q634160) (← links)
• On hyperbolicity in the renormalization of near-critical area-preserving maps (Q727423) (← links)
• Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
• A renormalization approach to invariant circles in area-preserving maps (Q995203) (← links)
• Living with a new mathematical species (Q1075302) (← links)
• A non-Gaussian renormalization group fixed point for hierarchical scalar lattice field theories (Q1108698) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
• Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
• Topological invariants, multivalued maps and computer assisted proofs in dynamics (Q1816695) (← links)
• A complete proof of the Feigenbaum conjectures (Q1824834) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
• On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
• Period-doubling in two-parameter families (Q2366498) (← links)
• On the invariant Cantor sets of period doubling type of infinitely renormalizable area-preserving maps (Q2413305) (← 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)
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← 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)
• Bifurcations of Banach space operators (Q4735679) (← links)
• Rigorous computer-assisted bounds on the period doubling renormalization fixed point and eigenfunctions in maps with critical point of degree 4 (Q5015514) (← links)
• The Lorenz Renormalization Conjecture (Q5070639) (← links)
• Torus knot choreographies in the n-body problem (Q5147943) (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
• Asymptotic scaling and universality for skew products with factors in SL(2,) (Q5889845) (← links)
• Rigidity for infinitely renormalizable area-preserving maps (Q5963491) (← links)
• Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)