1 ressource : coloration de graphe

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
UNIT
Preuves formelles, preuves calculatoires
Description : 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
Date : 08-01-2007
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Preuves formelles, preuves calculatoires
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé