Orbital theories of outer planet satellites

An analytical theory of Mimas and Tethys was developed, retaining terms which produce perturbations of the order of + or - 10 km. The theory uses a novel set of variables, and was developed with the Hori-Lie algorithm, using the algebraic manipulation language TRIGMAN. the perturbations were implemented by means of FORTRAN subroutines produced by the computer.