Georges Gonthier
Jump to navigation
Jump to search
Georges Gonthier is a Canadian computer scientist and one of the leading practitioners in formal mathematics. He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. (Both were written using the proof assistant Coq.)
See also
References
- Personal Page at Microsoft Research
- Paper describing proof of the Four color theorem
- phys.org news article describing Feit-Thompson proof
- Press release from INRIA with links to Coq code of Feit-Thompson Proof
Categories:
- Articles with short description
- Short description is different from Wikidata
- BLP articles lacking sources from February 2013
- All BLP articles lacking sources
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with DBLP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 20th-century Canadian mathematicians
- Living people
- Year of birth missing (living people)
- All stub articles
- Mathematician stubs