A Verified Efficient Implementation of the LLL Basis Reduction Algorithm (Q5222951)
From MaRDI portal
scientific article; zbMATH DE number 7076867
Language | Label | Description | Also known as |
---|---|---|---|
English | A Verified Efficient Implementation of the LLL Basis Reduction Algorithm |
scientific article; zbMATH DE number 7076867 |
Statements
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm (English)
0 references
4 July 2019
0 references
complexity
0 references
Isabelle/HOL
0 references
lattice basis reduction
0 references