Abstract. Using the elimination of the parallax followed by the Delaunay normalization, we present a procedure for calculating a normal form of the main problem (J2 perturbation only) in satellite theory. This procedure is outlined in such a way that an object-oriented automatic symbolic manipulator based on a hierarchy of algebras can perform this computation. The Hamiltonian after the Delaunay normalization is presented to order six explicitly in closed form, that is, in which there is no expansion in the eccentricity. The corresponding generating function and transformation of coordinates, too lengthy to present here to the same order; the generator is given through order four.