TY - RPRT TI - Optimality of the triangular lattice for Lennard-Jones type lattice energies: a computer-assisted method AU - Laurent Bétermin PY - 2023 UR - https://arxiv.org/abs/2104.09795 ID - 2104.09795 ER -