Монография, посвященная качественным исследованиям ограниченных задач n>3 тел методами компьютерной алгебры, состоит из четырех глав. Первые две главы содержат теорию томографических решений в проблеме многих тел. Другие две главы посвящены исследованию устойчивости в смысле Ляпунова новых равновесных решений дифференциальных уравнений ограниченных проблем многих тел на основе теорем КАМ-теории. Подробно изложена компьютерная реализация метода Биркгофа нормализации гамильтонианов ограниченных задач четырех, пяти, шести и семи тел. Для научных работников, аспирантов и студентов математических специальностей. Может быть использована в университетских специальных курсах по качественной теории дифференциальных уравнений и гамильтоновой динамике.