Pages that link to "Item:Q1080247"
From MaRDI portal
The following pages link to Computer-assisted proofs in analysis (Q1080247):
Displayed 17 items.
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
- Analysis of resonances in the spin-orbit problem in celestial mechanics. I: The synchronous resonance (Q913538) (← links)
- Construction of analytic KAM-surfaces and effective stability bounds (Q1110881) (← links)
- Construction of invariant tori for the spin-orbit problem in the Mercury-Sun system (Q1192270) (← links)
- Invariant curves for area-preserving twist maps far from integrable (Q1279300) (← links)
- Construction of librational invariant tori in the spin-orbit problem (Q1315367) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← 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)
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
- A numerical approach to the proof of existence of solutions for elliptic problems (Q3469483) (← links)
- Rigorous estimates for a computer-assisted KAM theory (Q3796418) (← links)
- Accurate strategies for small divisor problems (Q4710990) (← links)
- PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE (Q4908428) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- Existence of the FS-type renormalisation fixed point for unidirectionally-coupled pairs of maps (Q5889875) (← links)
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)