Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
- Thiemann, R.
- Bottesch, R.
- Divasón, J.
- Haslbeck, M.W.
- Joosten, S.J.C.
- Yamada, A.
ISSN: 1573-0670, 0168-7433
Year of publication: 2020
Volume: 64
Issue: 5
Pages: 827-856
Type: Article