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
Argitalpen urtea: 2020
Alea: 64
Zenbakia: 5
Orrialdeak: 827-856
Mota: Artikulua