Complexity of solving parametric polynomial systems

В работе представлены три алгоритма: первый алгоритм находит решения нульмерных параметрических однородных систем за экспоненциальное время от количества неизвестных $n$. Второй алгоритм факторизует параметрические полиномы от нескольких переменных за экспоненциальное аремя от $n$ и верхней оценки степеней факторизуемых полиномов $d$. Третьий алгоритм разлагает алгебраическое многообразие положительной размерности, определенное параметрической системой полиномиальных уравнений, на неприводимые для всех значений параметров компоненты. Оценка сложности этого алгоритма двойная экспонента от $n$. С другой стороны, теоретической нижней оценкой задачи разрешения параметрической полиномиальной системы уравнений также является двойная экспонента от $n$. Библ. – 72 назв.