Rechercher une ressource pédagogique : conjoncture de Kepler

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.
1 résultat
section 1 sur 1
résultats 1 à 1
UNIT
UNIT
08.01.2007
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.
  • méthode formelle
  • théorème des quatre couleurs
  • coloration de graphe
  • conjoncture de Kepler
  • Coq
  • fuscia