Journal Articles
Images des Mathématiques
Year : 2014
Assia Mahboubi : Connect in order to contact the contributor
https://inria.hal.science/hal-01062816
Submitted on : Wednesday, September 10, 2014-3:56:05 PM
Last modification on : Wednesday, March 15, 2023-8:56:16 AM
Dates and versions
Identifiers
- HAL Id : hal-01062816 , version 1
Cite
Assia Mahboubi. Un ordinateur pour vérifier les preuves mathématiques. Images des Mathématiques, 2014. ⟨hal-01062816⟩
Collections
176
View
0
Download