ByNobleID
    The sphere packing problem in dimension $24$ | NobleID