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