Loading paper
Bases of minimal vectors in tame lattices | Tomesphere