A Formalization of Berlekamp’s Factorization Algorithm

Jose Divasón, Sebastiaan Joosten, René Thiemann, and Akihisa Yamada
Isabelle Workshop 2016,  2016.

abstract   BibTeX   PDF