Монографія, присвячена якісним дослідженням задач з обмеженнями для систем із більш ніж трьома телами за допомогою методів комп’ютерної алгебри, складається з чотирьох розділів. Перші дві глави містять теоретичний огляд томографічних рішень у задачі багатьох тіл. Наступні дві глави присвячені дослідженню стійкості в сенсі Ляпунова нових рівноважних рішень диференціальних рівнянь з обмеженнями для систем із кількома телами, на основі теорем КАМ-теорії. Детально описано комп’ютерну реалізацію методу нормалізації гамільтоніанів за допомогою перетворення Біркгофа для задач з чотирма, п’ятьма, шостими та сімома тілами. Для наукових співробітників, аспірантів і студентів математичних спеціальностей. Може бути використана в університетських спецкурсах з якісної теорії диференціальних рівнянь і гамільтонівської динаміки.