| http://dbpedia.org/ontology/abstract
|
Georges Gonthier is a Canadian computer sc … 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.)re written using the proof assistant Coq.)
, Georges Gonthier est un chercheur canadien … Georges Gonthier est un chercheur canadien en informatique, effectuant sa recherche en Grande-Bretagne et en France. Ses domaines d'intérêt sont la conception des langages de programmation et leur sémantique, la théorie de la concurrence en programmation et son application à la sécurité, les méthodes et les outils pour la vérification formelle des programmes informatiques et des théories mathématiques. Il est notamment connu pour le développement complet, mécaniquement vérifié par ordinateur de la démonstration du théorème des quatre couleurs.nstration du théorème des quatre couleurs.
, Georges Gonthier (Montreal, 18 de abril de … Georges Gonthier (Montreal, 18 de abril de 1962) é um cientista da computação canadense, pesquisador no . É um dos principais praticantes da matemática formal. Liderou a formalização do teorema das quatro cores e a prova de Feit-Thompson do teorema da ordem ímpar. (Ambas foram escritas usando o assistente de prova Coq.) Para o Congresso Internacional de Matemáticos de 2022 em São Petersburgo está listado como palestrante convidado.o está listado como palestrante convidado.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20130225023357/http:/www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq +
, http://phys.org/news/2012-10-six-year-journey-proof-feit-thompson-theorem.html +
, http://research.microsoft.com/en-us/people/gonthier/ +
, http://research.microsoft.com/en-us/people/gonthier/4colproof.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
38594995
|
| http://dbpedia.org/ontology/wikiPageLength
|
1284
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1113899747
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Four_color_theorem +
, http://dbpedia.org/resource/Kepler_conjecture +
, http://dbpedia.org/resource/Feit%E2%80%93Thompson_theorem +
, http://dbpedia.org/resource/Formal_proof +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Thomas_Callister_Hales +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Category:20th-century__Canadian_mathematicians +
, http://dbpedia.org/resource/Proof_assistant +
, http://dbpedia.org/resource/Coq +
, http://dbpedia.org/resource/Category:Living_people +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:BLP_sources +
, http://dbpedia.org/resource/Template:Mathematician-stub +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:20th-century__Canadian_mathematicians +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Practitioners +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/262324638 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Georges_Gonthier?oldid=1113899747&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Georges_Gonthier +
|
| owl:sameAs |
http://dbpedia.org/resource/Georges_Gonthier +
, http://viaf.org/viaf/262324638 +
, http://arz.dbpedia.org/resource/%D8%AC%D9%88%D8%B1%D8%AC_%D8%AC%D9%88%D9%86%D8%AB%D9%8A%D8%B1 +
, https://global.dbpedia.org/id/4kdRa +
, http://www.wikidata.org/entity/Q5546810 +
, http://fr.dbpedia.org/resource/Georges_Gonthier +
, http://yago-knowledge.org/resource/Georges_Gonthier +
, http://rdf.freebase.com/ns/m.0r4y08b +
, http://pt.dbpedia.org/resource/Georges_Gonthier +
, https://dblp.org/pid/40/3912 +
|
| rdf:type |
http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/WikicatCanadianComputerScientists +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
|
| rdfs:comment |
Georges Gonthier est un chercheur canadien … Georges Gonthier est un chercheur canadien en informatique, effectuant sa recherche en Grande-Bretagne et en France. Ses domaines d'intérêt sont la conception des langages de programmation et leur sémantique, la théorie de la concurrence en programmation et son application à la sécurité, les méthodes et les outils pour la vérification formelle des programmes informatiques et des théories mathématiques. Il est notamment connu pour le développement complet, mécaniquement vérifié par ordinateur de la démonstration du théorème des quatre couleurs.nstration du théorème des quatre couleurs.
, Georges Gonthier (Montreal, 18 de abril de … Georges Gonthier (Montreal, 18 de abril de 1962) é um cientista da computação canadense, pesquisador no . É um dos principais praticantes da matemática formal. Liderou a formalização do teorema das quatro cores e a prova de Feit-Thompson do teorema da ordem ímpar. (Ambas foram escritas usando o assistente de prova Coq.) Para o Congresso Internacional de Matemáticos de 2022 em São Petersburgo está listado como palestrante convidado.o está listado como palestrante convidado.
, Georges Gonthier is a Canadian computer sc … 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.)re written using the proof assistant Coq.)
|
| rdfs:label |
Georges Gonthier
|
