Math, Inc. Back HomeCompleting the formal proof of higher-dimensional sphere packingUsing Gauss, we have helped formally verify the sphere packing problem in dimensions 8 and 24 — certifying that the E8 lattice and the Leech lattice achieve the densest possible arrangements of non-overlapping spheres in their respective dimensions.
Лина Пивоварова (редактор отдела Мир)
。搜狗输入法对此有专业解读
Получивший взятку в размере 180 миллионов экс-мэр российского города обратился к суду14:53
20+ curated newsletters