Verified LLL

swMATH28661MaRDI QIDQ40375FDOQ40375

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Verified LLL