Un ordinateur pour vérifier les preuves mathématiques

Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-01062816
Contributor : Assia Mahboubi <>
Submitted on : Wednesday, September 10, 2014 - 3:56:05 PM
Last modification on : Thursday, February 9, 2017 - 3:47:49 PM

Identifiers

  • HAL Id : hal-01062816, version 1

Collections

Citation

Assia Mahboubi. Un ordinateur pour vérifier les preuves mathématiques. Images des Mathématiques, CNRS, 2014. ⟨hal-01062816⟩

Share

Metrics

Record views

317