Решение уравнений теории наложения больших деформаций средствами компьютерной алгебрыстатья