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

Получен алгоритм для факторизации многочленов многих переменных над локальными полями со сложностью полиномиальной от длины записи исходных данных и характеристики поля вычета локального поля. При этом мы по определению считаем, что бесконечный ряд вычисляется за полиномиальное время если его $i$-ая частичная сумма вычисляется за время полиномиальное от длины записи исходных данных и $i$ для любого $i$. Библ. – 8 назв.