A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm | Publicación