2
résultats :
WERNER BENJAMIN
Rechercher
Aide
Recherche avancée
Recherche en cours
Par auteur
=
WERNER BENJAMIN
Affiner ma recherche
OK
1
1
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2
résultats
page 1
sur 1
résultats
1 à 2
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
Format
:
Document HTML
Auteur
:
Werner Benjamin
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
La vérité et la machine
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.
Mots clés
:
preuve de programme, preuve formelle, logique mathématique, démonstration, Coq, théorème des quatre couleurs, fuscia
Date
:
11-12-2008
Format
:
Document HTML
Auteur
:
Werner Benjamin
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
1
Rebondir