Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Georges_Gonthier> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Georges_Gonthier abstract "Georges Gonthier is 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.)".
- Georges_Gonthier wikiPageExternalLink 2012-10-six-year-journey-proof-feit-thompson-theorem.html.
- Georges_Gonthier wikiPageExternalLink gonthier.
- Georges_Gonthier wikiPageExternalLink 4colproof.pdf.
- Georges_Gonthier wikiPageExternalLink feit-thompson-proved-in-coq.
- Georges_Gonthier wikiPageID "38594995".
- Georges_Gonthier wikiPageLength "1092".
- Georges_Gonthier wikiPageOutDegree "9".
- Georges_Gonthier wikiPageRevisionID "670461711".
- Georges_Gonthier wikiPageWikiLink Category:20th-century_mathematicians.
- Georges_Gonthier wikiPageWikiLink Category:Living_people.
- Georges_Gonthier wikiPageWikiLink Coq.
- Georges_Gonthier wikiPageWikiLink Feit–Thompson_theorem.
- Georges_Gonthier wikiPageWikiLink Formal_proof.
- Georges_Gonthier wikiPageWikiLink Four_color_theorem.
- Georges_Gonthier wikiPageWikiLink Kepler_conjecture.
- Georges_Gonthier wikiPageWikiLink Proof_assistant.
- Georges_Gonthier wikiPageWikiLink Thomas_Callister_Hales.
- Georges_Gonthier wikiPageWikiLinkText "Georges Gonthier".
- Georges_Gonthier wikiPageWikiLinkText "Gonthier, Georges".
- Georges_Gonthier wikiPageUsesTemplate Template:Authority_control.
- Georges_Gonthier wikiPageUsesTemplate Template:BLP_sources.
- Georges_Gonthier wikiPageUsesTemplate Template:Mathematician-stub.
- Georges_Gonthier subject Category:20th-century_mathematicians.
- Georges_Gonthier subject Category:Living_people.
- Georges_Gonthier hypernym Practitioners.
- Georges_Gonthier type Person.
- Georges_Gonthier type Mathematician.
- Georges_Gonthier type Scholar.
- Georges_Gonthier type Thing.
- Georges_Gonthier comment "Georges Gonthier is 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.)".
- Georges_Gonthier label "Georges Gonthier".
- Georges_Gonthier sameAs Q5546810.
- Georges_Gonthier sameAs Georges_Gonthier.
- Georges_Gonthier sameAs m.0r4y08b.
- Georges_Gonthier sameAs Q5546810.
- Georges_Gonthier wasDerivedFrom Georges_Gonthier?oldid=670461711.
- Georges_Gonthier isPrimaryTopicOf Georges_Gonthier.