Сложность вычислений в коммутативной алгебре

Приводятся верхние оценки сложности для следующих вычислительных задач: разложение многочлена от многих переменных на неприводимые множители, решение системы алгебраических уравнений, решение системы полиномиальных неравенств, разрешение теорий первого порядка алгебраически замкнутых, а также вещественно замкнутых полей.
Библиогр. 22 назв.