Учебник посвящён описанию основных структур данных и алгоритмов, применяемых в символьных вычислениях на ЭВМ. В книге затрагивается широкий круг вопросов, связанных с вычислениями в кольцах целых чисел, многочленов и дифференциальных многочленов. Для студентов, аспирантов и преподавателей математических и компьютерных специальностей. Содержание: Глава 1. Проблема представления данных Глава 2. Наибольший общий делитель и последовательности полиномиальных остатков Глава 3. Базисы Грёбнера Глава 4. Целозначные многочлены Глава 5. Факторизация многочленов Глава 6. Интегрирование в конечном виде
