Verified LLL

swMATH28661MaRDI QIDQ40375FDOQ40375

Author name not available (Why is that?)

Cited In (3)

• Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL
• A formalization of the LLL basis reduction algorithm
• A Verified Efficient Implementation of the LLL Basis Reduction Algorithm

This page was built for software: Verified LLL