Skip to Main content Skip to Navigation
Journal articles

Une preuve sur les nombres premiers

Résumé : Un ordinateur, c’est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01350210
Contributor : Inria Interstices <>
Submitted on : Friday, July 29, 2016 - 5:44:48 PM
Last modification on : Monday, February 13, 2017 - 12:24:23 PM

Identifiers

  • HAL Id : hal-01350210, version 1

Collections

Citation

Anita Castiel. Une preuve sur les nombres premiers. Interstices, INRIA, 2004. ⟨hal-01350210⟩

Share

Metrics

Record views

120