LLL Factorization

swMATH28660MaRDI QIDQ40374FDOQ40374

Author name not available (Why is that?)

Cited In (2)

• Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL
• A formalization of the LLL basis reduction algorithm

This page was built for software: LLL Factorization