Ученые поставляют формальное доказательство известной догадки Кеплера

Интернациональная команда математиков во главе с доктором наук Питтсбургского университета Томасом Хейлзом поставила формальное подтверждение предположения Кеплера, известной неприятности в дискретной геометрии. Работа команды размещена в издании Forum of Mathematics, Пи.Доктор наук Хейлз демонстрирует собственный ответ предположения Кеплера. Читать далее «Ученые поставляют формальное доказательство известной догадки Кеплера»