Computer-assisted proofs in analysis
From MaRDI portal
Publication:1080247
DOI10.1016/0378-4371(84)90262-0zbMath0599.58036OpenAlexW1992913147MaRDI QIDQ1080247
Publication date: 1984
Published in: Physica A (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0378-4371(84)90262-0
Local and nonlocal bifurcation theory for dynamical systems (37G99) Software, source code, etc. for problems pertaining to numerical analysis (65-04)
Related Items (18)
Existence of the FS-type renormalisation fixed point for unidirectionally-coupled pairs of maps ⋮ A numerical approach to the proof of existence of solutions for elliptic problems ⋮ Construction of analytic KAM-surfaces and effective stability bounds ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Analysis of resonances in the spin-orbit problem in celestial mechanics. I: The synchronous resonance ⋮ Rigorous estimates for a computer-assisted KAM theory ⋮ Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds ⋮ Torus knot choreographies in the n-body problem ⋮ Construction of invariant tori for the spin-orbit problem in the Mercury-Sun system ⋮ PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Accurate strategies for small divisor problems ⋮ Invariant curves for area-preserving twist maps far from integrable ⋮ Construction of librational invariant tori in the spin-orbit problem
Cites Work
This page was built for publication: Computer-assisted proofs in analysis