Verified LLL

MaRDI QIDQ40375swMATHFDO

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

Publication date 2 February 2018

Official website https://www.isa-afp.org/entries/LLL_Basis_Reduction.html

Cites work

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

Cited in

(6)

• A formalization of the LLL basis reduction algorithm
• Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL
• Berlekamp Zassenhaus
• LLL Factorization
• Vector Spaces
• A verified efficient implementation of the LLL basis reduction algorithm

This page was built for software: Verified LLL