"Компьютерная алгебра: Символьные и алгебраические вычисления" - читать интересную книгу автора (Бухбергер, Коллинз, Лоос. (ред.))