Lattice algorithms
Statement
LLL algorithm; shortest vector; algorithmic number theory. Proved in ZFC.
Source
Donald E. Knuth Prize 2011. LLL algorithm; shortest vector; algorithmic number theory. Proved in ZFC.
Domains
computer-science
LLL algorithm; shortest vector; algorithmic number theory. Proved in ZFC.
Donald E. Knuth Prize 2011. LLL algorithm; shortest vector; algorithmic number theory. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/kannan-knuth-2011/