Il y a 1 Résultats avec le mot clé : "Enrico Tassi"

© 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.

Mots-clés :

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

Lire la suite

Haut de page