Mathematical tracts on the lunar and planetary theories