Preuves formelles,preuves calculatoires

Dans cet exposé,Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs,ou encore de la conjecture de Kepler.

Mots-clés : méthode formelle,théorème des quatre couleurs,coloration de graphe,conjoncture de Kepler,Coq,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Benjamin Werner,Institut National de Recherche en Informatique et en Automatique / Interstices