Un ordinateur pour vérifier les preuves mathématiques

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.inria.fr/hal-01062816
Contributeur : Assia Mahboubi <>
Soumis le : mercredi 10 septembre 2014 - 15:56:05
Dernière modification le : jeudi 9 février 2017 - 15:47:49

Identifiants

  • 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, 〈http://images.math.cnrs.fr/Un-ordinateur-pour-verifier-les.html〉. 〈hal-01062816〉

Partager

Métriques

Consultations de la notice

195