A computer-assisted proof of universality for area-preserving maps
From MaRDI portal
(Redirected from Publication:3308752)
Cited in
(40)- On the invariant Cantor sets of period doubling type of infinitely renormalizable area-preserving maps
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Spectral properties of renormalization for area-preserving maps
- On computer-assisted proving the existence of periodic and bounded orbits
- On hyperbolicity in the renormalization of near-critical area-preserving maps
- Period-doubling in two-parameter families
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- A renormalization approach to invariant circles in area-preserving maps
- Rigorous computer-assisted bounds on the period doubling renormalization fixed point and eigenfunctions in maps with critical point of degree 4
- Rigidity for infinitely renormalizable area-preserving maps
- Finite resolution dynamics
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Bifurcations of Banach space operators
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- A computer-assisted proof of dynamo growth in the stretch-fold-shear map
- Topological invariants, multivalued maps and computer assisted proofs in dynamics
- The Lorenz renormalization conjecture
- Automatic differentiation for Fourier series and the radii polynomial approach
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Asymptotic scaling and universality for skew products with factors in SL(2,)
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Torus knot choreographies in the \(n\)-body problem
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Chebyshev model arithmetic for factorable functions
- Combination laws for scaling exponents and relation to the geometry of renormalization operators
- On the geometry of period doubling invariant sets for area-preserving maps
- Convergence analysis of Taylor models and McCormick-Taylor models
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- A complete proof of the Feigenbaum conjectures
- Computer assisted existence proofs for parameterized cycle-to-cycle connections
- Living with a new mathematical species
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Instability of renormalization
- A non-Gaussian renormalization group fixed point for hierarchical scalar lattice field theories
This page was built for publication: A computer-assisted proof of universality for area-preserving maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3308752)
