Sites Inria

Il y a 3 Résultats avec le mot clé : "Inria Saclay - Île-de-France"

© Photo Bernard Lachaud

Preuve informatique

La preuve mathématique par informatique !

Nathaly Mermet - 22/11/2012

Une démonstration formelle complète, certifiée par le logiciel Coq, a été annoncée en septembre par Georges Gonthier et son équipe du laboratoire commun Inria-Microsoft Research.

Ces travaux rendent artificielle l’opposition entre informatique et mathématiques, le dénominateur commun étant la logique. Parmi les "compagnons de route" de Georges Gonthier, deux jeunes chercheurs se réjouissent d’avoir participé à l’aventure et "grandi" avec le projet Mathematical Components (MathComp). Témoignages…

Mots-clés :

Accueil > Recherches > Actualités > La preuve mathématique par informatique !

Lire la suite

Georges Gonthier, laboratoire commun Microsoft Research-Inria © Laboratoire commun Inria-Microsoft Research

Preuve informatique

Georges Gonthier : Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !

Françoise Breton - 22/11/2012

Six années se sont écoulées entre le début du projet et la fin de la preuve du théorème de Feit et Thompson réalisée le 20 septembre 2012. Récit d’une aventure moderne.

Entretien avec Georges Gonthier, laboratoire commun Microsoft Research-Inria.

Mots-clés :

Accueil > Recherches > Actualités > Georges Gonthier : Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !

Lire la suite

© Inria / Photo Kaksonen

Preuve informatique

Un grand succès pour la preuve informatique

Françoise Breton - 22/11/2012

Six ans après la démonstration par ordinateur du théorème des quatre couleurs, Georges Gonthier et son équipe réussissent la démonstration, autrement plus complexe, du théorème de Feit et Thompson, un théorème central pour la théorie des groupes et leur classification. Grand pas pour les mathématiques, qui s’appuient de plus en plus sur la preuve par ordinateur, c’est surtout une réussite pour l’informatique qui montre là sa capacité à déployer des outils et des techniques de qualité pour codifier les mathématiques.

Mots-clés :

Accueil > Recherches > Actualités > Un grand succès pour la preuve informatique

Lire la suite

Haut de page

Suivez Inria