A formalization of the Berlekamp-Zassenhaus factorization algorithm.

Jose Divasn, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada

Browse the full CPP paper archive.