scientific article; zbMATH DE number 67111

MaRDI QIDQ4011802zbMATH OpenFDO

Authors Alessandra Celletti, L. Chierchia

Publication date 27 September 1992

zbMATH Keywords

KAM theoryinterval arithmeticlong perturbative calculations

Mathematics Subject Classification ID

Dynamical aspects of finite-dimensional Hamiltonian and Lagrangian systems (37J99) Hamiltonian and Lagrangian mechanics (70H99) Computational methods for problems pertaining to mechanics of particles and systems (70-08)

Recommendations

• Rigorous estimates for a computer-assisted KAM theory
• Computer-assisted proofs in analysis
• Computer assisted proofs in dynamical systems
• scientific article; zbMATH DE number 4108029
• Rigorous computer-assisted application of KAM theory: a modern approach

Cited in

(7)

• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
• Analysis of resonances in the spin-orbit problem in celestial mechanics. I: The synchronous resonance
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
• Invariant curves for area-preserving twist maps far from integrable
• Construction of invariant tori for the spin-orbit problem in the Mercury-Sun system
• Computer assisted proofs of two-dimensional attracting invariant tori for ODEs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4011802)