Sites Inria

Il y a 2 Résultats avec le mot clé : "Théorème 4 couleurs"

Colloquium Jacques Morgenstern

Le génie mathématique, du théorème de quatre couleurs à la classification des groupes

18/11/2010

Voilà plus de trente ans que l'informatique et les ordinateurs ont fait irruption dans les mathématiques, avec la célèbre preuve du théorème des quatre couleurs par Appel et Haken.

Lieu : Inria Sophia Antipolis

Intervenant(s) : Georges Gonthier, Microsoft Research

Mots-clés :

Accueil > Recherches > Agenda > Le génie mathématique, du théorème de quatre couleurs à la classification des groupes

lire la suite

Équipe de recherche

Georges Gonthier rejoint l’équipe SPECFUN

Charlotte Renauld - 28/10/2016

Depuis sa thèse aux côtés de Gérard Berry, professeur au Collège de France, Georges Gonthier explore le domaine de la vérification informatique des théorèmes mathématiques. Après avoir travaillé pour le centre Inria Rocquencourt, le laboratoire de recherche Microsoft à Cambridge et participé à la création du laboratoire commun Inria – Microsoft Research, Georges Gonthier rejoint l’équipe SPECFUN du centre Inria Saclay – Île-de-France pour poursuivre ses projets de recherche et retrouver les équipes avec qui il collabore depuis plusieurs années. 

Mots-clés :

Accueil > Centre > Saclay > Actualités > Georges Gonthier rejoint l’équipe SPECFUN

Lire la suite

Haut de page

Suivez Inria