Construction of the numerical motion theories for the main satellites of Mars, Jupiter, Saturn, and Uranus in IAA RAS . ... This paper presents the motion theories of the main satellites of Mars (Phobos, Deimos), Jupiter (Io, Europa, Ganymede, Callisto), Saturn (Mimas, Enceladus, Tethys, Dione, Rhea, Titan, Hyperion, Iapetus), and Uranus (Ariel, Umbriel, Titania, Oberon, Miranda) as constructed by numerical integration within the framework of the program package ERA (Ephemeris Research in Astronomy). ...