Некоторые алгоритмы автоматизированного синтеза уравнений движения системы твердых телкнига