В журнале Forum of Mathematics, Pi прошла научное рецензирование и опубликована статья с формальным доказательством теоремы Кеплера. Формулировка теоремы: среди всех упаковок шаров равного размера в трёхмерном пространстве наибольшую среднюю […]