A Formalization of the LLL Basis Reduction Algorithm
- Divasón, J.
- Joosten, S.
- Thiemann, R.
- Yamada, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319948201
Any de publicació: 2018
Volum: 10895 LNCS
Pàgines: 160-177
Tipus: Aportació congrés
ISSN: 1611-3349, 0302-9743
ISBN: 9783319948201
Any de publicació: 2018
Volum: 10895 LNCS
Pàgines: 160-177
Tipus: Aportació congrés