La Vérité et la Machine - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2006

La Vérité et la Machine

Benjamin Werner

Abstract

En quelques pages nous présentons des avancées récentes où l'ordinateur permet d'établir des vérités mathématiques.
Fichier principal
Vignette du fichier
Werner.pdf (195.75 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00131058 , version 1 (15-02-2007)

Identifiers

  • HAL Id : inria-00131058 , version 1

Cite

Benjamin Werner. La Vérité et la Machine. cnrs. Images des Mathématiques 2006, cnrs, 2006, Images des Mathématiques. ⟨inria-00131058⟩
145 View
42 Download

Share

Gmail Facebook X LinkedIn More