formalizing the sphere packing problem in dimension 24

بحث