Алгоритм для факторизации многочленов в кольце формальных степенных рядов от многих переменных в нулевой характеристике. II

Мы улучшаем алгоритмы для факторизации многочленов в (и над) кольцами формальных степенных рядов от многих переменных, предложенные в первой части статьи. Для этого мы используем эффективную версию теоремы Бертини для полных локальных областей целостности. В результате теперь сложность каждого из построенных алгоритмов полиномиальна от длины записи входных данных (в естественном смысле). Библ. – 17 назв.