A Formalization of the LLL Basis Reduction Algorithm
- Divasón, J.
- Joosten, S.
- Thiemann, R.
- Yamada, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319948201
Año de publicación: 2018
Volumen: 10895 LNCS
Páginas: 160-177
Tipo: Aportación congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783319948201
Año de publicación: 2018
Volumen: 10895 LNCS
Páginas: 160-177
Tipo: Aportación congreso