A Verified Implementation of the Berlekamp—Zassenhaus Factorization Algorithm

Jose Divasón, Sebastiaan Joosten, René Thiemann, and Akihisa Yamada
Journal of Automated Reasoning 64(4), pp. 699 – 735, 2020.

abstract   BibTeX   PDF   doi:10.1007/s10817-019-09526-y