A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
scientific article; zbMATH DE number 7187044
scientific article