TY - RPRT TI - Covering radius of RM(4,8) AU - Valérie Gillot AU - Philippe Langevin PY - 2023 UR - https://arxiv.org/abs/2305.03493 ID - 2305.03493 ER -