The theory of Enceladus and Dione_ an application of computerized algebra in dynamical astronomy.
Abstract
The orbits of the satellites of the outer planets are poorly known, due to lack of attention over the past half century. We have been developing a new theory of Saturn's satellites Enceladus and Dione which is literal (all constants of integration appear explicitly), canonically invariant (the HoriLie method is used), and which correctly handles the eccentricitytype resonance between the two satellites. The algebraic manipulations are being performed using the TRIGMAN formula manipulation language, and the programs have been developed so that with minor modifications they can be used on the MimasTethys and TitanHyperion systems.
 Publication:

AIAA Conference on the Exploration of the Outer Planets
 Pub Date:
 July 1975
 Bibcode:
 1975aiaa.confQ....J
 Keywords:

 Astronomical Models;
 Computer Techniques;
 Natural Satellites;
 Orbit Calculation;
 Planetary Orbits;
 Saturn (Planet);
 Algebra;
 Computer Programs;
 Dynamic Characteristics;
 Equations Of Motion;
 Numerical Integration;
 Outer Planets Explorers;
 Perturbation Theory;
 Resonance;
 Astronomy