A verified factorization algorithm for integer polynomials with polynomial complexity

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada 0002. A verified factorization algorithm for integer polynomials with polynomial complexity. Archive of Formal Proofs, 2018, 2018. [doi]

Abstract

Abstract is missing.