Machine-checked mathematics

Article Dans Une Revue Nieuw Archief voor Wiskunde Année : 2016

(1)

Assia Mahboubi

In this article she gives an overview about machine-checked mathematics.

Logique en informatique [cs.LO]

Fichier principal

naw5-2016-17-3-172.pdf (321.63 Ko)

Origine	Fichiers éditeurs autorisés sur une archive ouverte

https://inria.hal.science/hal-01363284

Soumis le : mercredi 14 septembre 2016-09:19:18

Dernière modification le : jeudi 21 novembre 2024-15:12:02

Archivage à long terme le : jeudi 15 décembre 2016-12:16:01

hal-01363284 , version 1 (14-09-2016)

Assia Mahboubi. Machine-checked mathematics. Nieuw Archief voor Wiskunde, 2016, 5/17 (3), pp.5. ⟨hal-01363284⟩

INRIA INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE

158 Consultations

316 Téléchargements