@software{divason_2018_2525351, author = {Divasón, Jose and Joosten, Sebastiaan J. C. and Thiemann, René and Yamada, Akihisa}, title = {{A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm, supporting material}}, month = dec, year = 2018, publisher = {Zenodo}, doi = {10.5281/zenodo.2525351}, url = {https://doi.org/10.5281/zenodo.2525351} }