Нажми меня

FAQ: Компьютерные доказательства

Лев Беклемишев

Сохранить в закладки

Сохранить в закладки

5 фактов об использовании компьютеров в доказательствах теорем и проблемах, с которыми сталкиваются современные математики

Над материалом работали

Лев Беклемишев

доктор физико-математических наук, член-корреспондент РАН, главный научный сотрудник Математического института им. В. А. Стеклова РАН, профессор факультета математика ВШЭ