Pages that link to "Item:Q1080247"
From MaRDI portal
The following pages link to Computer-assisted proofs in analysis (Q1080247):
Displayed 9 items.
- 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)
- 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)