A verified factorization algorithm for integer polynomials with polynomial complexity

MaRDI QIDQ7361900FDO

Authors Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Publication date 6 February 2018

Cites work

• Factoring polynomials with rational coefficients
• Unnamed Publication

Cited in

(2)

• Babai's Nearest Plane Algorithm
• Formalizing Coppersmith's Method

This page was built for software: A verified factorization algorithm for integer polynomials with polynomial complexity