LLL Factorization

MaRDI QIDQ40374swMATHFDO

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

Cited in

(6)

• Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL
• FindFacts
• A formalization of the LLL basis reduction algorithm
• Berlekamp Zassenhaus
• Verified LLL
• Vector Spaces

This page was built for software: LLL Factorization