@article{mahboubi:hal-01062816, TITLE = {{Un ordinateur pour v{\'e}rifier les preuves math{\'e}matiques}}, AUTHOR = {Mahboubi, Assia}, URL = {https://inria.hal.science/hal-01062816}, NOTE = {Article en partenariat avec le S{\'e}minaire Bourbaki}, JOURNAL = {{Images des Math{\'e}matiques}}, PUBLISHER = {{CNRS}}, YEAR = {2014}, HAL_ID = {hal-01062816}, HAL_VERSION = {v1}, }