Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
La vérité et la machine  Droits d'accès : non autorisé
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.
Date : 11-12-2008
 Description complète
La vérité et la machine
Accéder au document 
Droits d'accès : non autorisé
UNIT
Preuves formelles, preuves calculatoires  Droits d'accès : non autorisé
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.
Date : 08-01-2007
 Description complète
Preuves formelles, preuves calculatoires
Accéder au document 
Droits d'accès : non autorisé