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
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

INRIA | INRIA-MECSCI | IDM

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

317

Contact


archive-ouverte@inria.fr