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
Any de publicació: 2020
Volum: 64
Número: 5
Pàgines: 827-856
Tipus: Article