共 50 条
- [5] A Formalization of the LLL Basis Reduction Algorithm INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 160 - 177
- [8] Lattice Size and Generalized Basis Reduction in Dimension Three Discrete & Computational Geometry, 2022, 67 : 287 - 310