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
Año de publicación: 2020
Volumen: 64
Número: 5
Páginas: 827-856
Tipo: Artículo