Celletti A., Chierchia L.
On the stability of realistic three-body problems
(459K, Postscript)

ABSTRACT.  We derive a three-body problem for the Sun-Jupiter-Ceres system
and, after substituting the mass ratio of Jupiter/Sun (which is
approximately $10^{-3}$) with a parameter $\epsilon$, we prove the
existence of stable quasi--periodic motions with
frequencies close to the observed (average) frequencies reported in 
``The Astronomical Almanac" for $|\epsilon|\le 10^{-6}$. The proof is
``computer--assisted".