La Vérité et la Machine

Benjamin Werner 1
1 LOGICAL - Logic and computing
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : En quelques pages nous présentons des avancées récentes où l'ordinateur permet d'établir des vérités mathématiques.
Type de document :
Chapitre d'ouvrage
cnrs. Images des Mathématiques 2006, cnrs, 2006, Images des Mathématiques
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00131058
Contributeur : Benjamin Werner <>
Soumis le : jeudi 15 février 2007 - 00:45:05
Dernière modification le : jeudi 10 mai 2018 - 01:36:42
Document(s) archivé(s) le : mardi 6 avril 2010 - 20:58:17

Fichier

Werner.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00131058, version 1

Collections

INRIA | X | PARISTECH | UMR8623

Citation

Benjamin Werner. La Vérité et la Machine. cnrs. Images des Mathématiques 2006, cnrs, 2006, Images des Mathématiques. 〈inria-00131058〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

188

Téléchargements de fichiers

68

Contact


archive-ouverte@inria.fr