Certified lattice reduction

Thomas Espitau, Antoine Joux. Certified lattice reduction. Adv. in Math. of Comm., 14(1):137-159, 2020. [doi]

Abstract

Abstract is missing.