Il y a 1 Résultats avec le mot clé : "Enrico Tassi"
Preuve informatique
La preuve mathématique par informatique !
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 :
- Preuve
- Georges Gonthier
- Inria Sophia Antipolis - Méditerranée
- Inria Saclay - Île-de-France
- Enrico Tassi
- Assia Mahboubi
- Laboratoire commun Inria - Microsoft Research
- Théorème Feit et Thompson
Accueil > Recherches > Actualités > La preuve mathématique par informatique !
Centres de recherche Inria
- Saclay (1)
Inria
Inria.fr
Inria Channel