Un ordinateur pour vérifier les preuves mathématiques

Journal Articles Images des Mathématiques Year : 2014

(1, 2)

1
2

Assia Mahboubi

Microsoft Research - Inria Joint Centre

Computer Science [cs] Logic in Computer Science [cs.LO]

https://hal.inria.fr/hal-01062816

Submitted on : Wednesday, September 10, 2014-3:56:05 PM

Last modification on : Thursday, December 22, 2022-10:16:38 AM

hal-01062816 , version 1 (10-09-2014)

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