Un ordinateur pour vérifier les preuves mathématiques

Assia Mahboubi 1, 2
1 SPECFUN - Symbolic Special Functions : Fast and Certified
Inria Saclay - Ile de France
2 MSR - INRIA - Microsoft Research - Inria Joint Centre
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

INRIA | INRIA-MECSCI | IDM

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

278

Contact


archive-ouverte@inria.fr