Definitionadvanced
Hermite-Korkine-Zolotarev reduction
Also called HKZ reduction, Korkine-Zolotarev reduction.
Strongest classical basis notion: each vector is a shortest projected vector of its sublattice.
Strongest classical basis notion: each vector is a shortest projected vector of its sublattice.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 9A002M Edit this page History Report an error