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

Мы предлагаем алгоритмы факторизации многочленов в кольцах формальных степенных рядов от многих переменных над основным полем нулевой характеристики и над алгебраическим замыканием этого основного поля. Также мы строим алгоритмы для факторизации унитарных многочленов от одной переменной над этими кольцами формальных степенных рядов. Мы приводим явные оценки сложности для предложенных алгоритмов. Эти результаты важны для локального исследования алгебраических многообразий с алгоритмической точки зрения. Библ. – 10 назв.