Факторизация разрешимого многочлена над конечным полем и обобщенная гипотеза Римана

Представлен алгоритм, который в предположении обобщенной гипотезы Римана раскладывает многочлен $f\mod p$, где $f\in\mathbb{Z}[X]$ — разрешим над $\mathbb{Q}$, на неприводимые множители над полем $\mathbb{F}_{p^m}$ за время, полиномиальное от $m$, $\log p$ и длины записи $f$. Попутно за время, полиномиальное от $m$, $n$, $\log p$ решены следующие задачи: 1) построение поля $\mathbb{F}_{p^m}$, 2) построение всех изоморфизмов между двумя реализациями $\mathbb{F}_{p^m}$, 3 ) вычисление корней степени $n$ в $\mathbb{F}_{p^m}$. Библ. – 12 назв.