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

189