1 ressource en auto-formation : conjoncture de Kepler

1 ressource
page 1 sur 1
Résultats de 1 à 1
Présentation de la ressource en auto-formation Preuves formelles, preuves calculatoires cours / présentation, démonstration
19/03/2007
Preuves formelles, preuves calculatoires
Auteur(s) : Werner Benjamin
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.