Перейти к навигации Перейти к поиску
Эта биография живого человека требует дополнительных цитат для проверки . ( февраль 2013 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон ) |
Жорж Гонтье - канадский ученый-компьютерщик и один из ведущих практиков формальной математики . Он руководил формализацией теоремы о четырех цветах и доказательством Фейта – Томпсона теоремы о нечетном порядке . (Оба были написаны с использованием помощника по доказательству Coq .)
См. Также [ править ]
- Доказательство мухи под руководством Томаса Каллистера Хейлза
Ссылки [ править ]
- Персональная страница в Microsoft Research
- Статья, описывающая доказательство теоремы о четырех цветах
- новостная статья Phys.org с описанием доказательства Фейта-Томпсона
- Пресс-релиз INRIA со ссылками на Coq code of Feit-Thompson Proof