A Formalization of the LLL Basis Reduction Algorithm
- Divasón, J.
- Joosten, S.
- Thiemann, R.
- Yamada, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319948201
Year of publication: 2018
Volume: 10895 LNCS
Pages: 160-177
Type: Conference paper
ISSN: 1611-3349, 0302-9743
ISBN: 9783319948201
Year of publication: 2018
Volume: 10895 LNCS
Pages: 160-177
Type: Conference paper