scientific article; zbMATH DE number 67111

zbMATH Open0820.70004MaRDI QIDQ4011802FDOQ4011802

Authors: Alessandra Celletti, L. Chierchia 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
• 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
• Analysis of resonances in the spin-orbit problem in celestial mechanics. I: The synchronous resonance
• Invariant curves for area-preserving twist maps far from integrable
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem

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)