A verified LLL algorithm

MaRDI QIDQ7361415FDO

Authors Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Publication date 2 February 2018

Cites work

• Factoring polynomials with rational coefficients
• Unnamed Publication
• Unnamed Publication

Cited in

(4)

• Linear Inequalities
• Hardness of Lattice Problems
• Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation
• A verified factorization algorithm for integer polynomials with polynomial complexity

This page was built for software: A verified LLL algorithm