Lattices (hackage): A library for lattices, in particular for computing an LLL reduced basis for a lattice and finding a close lattice vector
Keywords: library|math