3 ressources en auto-formation : théorème des quatre couleurs

FILTRES

3 résultats
page 1 sur 1
Résultats de 1 à 3
Présentation de la ressource en auto-formation L'ordinateur au cœur de la découverte mathématique cours / présentation, démonstration
25/11/2011
L'ordinateur au cœur de la découverte mathématique
Description : L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.
Présentation de la ressource en auto-formation La vérité et la machine cours / présentation, démonstration
30/09/2009
La vérité et la machine
Auteur(s) : Werner Benjamin
Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
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.