формальный

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

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