Компьютерно-алгебраические процедуры для задачи разделения корней алгебраических уравнений

Рассматриваются алгоритмы для решения ряда задач теории разделения корней алгебраических уравнений. Предложены методы их эффективной компьютерно-алгебраической реализации. Обсуждаются результаты экспериментального сравнения соответствующих компьютерно-алгебраических процедур.