I. V. Tupikova, A. A. Vakhidov, “Symbolic computation of the averaged Hamiltonian, describing the motion of asteroids under the influence of major planets”, Zap. Nauchn. Sem. POMI, 258 (1999), 256–261; J. Math. Sci. (New York), 108:6 (2002), 1089–1093
