Polynomial Factorization

René Thiemann and Akihisa Yamada
Archive of Formal Proofs 2016.

abstract   BibTeX    
AFP entry