Стивен Смит
Последние новости и упоминания на vestka
Связанные организации
- Axiom Math завершила формализацию доказательства теоремы классификации конечных простых групп
Наука·N+1·
Компания Axiom Math сообщила о завершении компьютерной формализации доказательства теоремы классификации конечных простых групп. Работа завершает формализацию доказательства первого поколения, изложенного в 2004 году на 1221 странице.