Machine-checked mathematics

Abstract : In this article she gives an overview about machine-checked mathematics.
Type de document :
Article dans une revue
Nieuw Archief voor Wiskunde, Richard Boucherie, 2016, 5/17 (3), pp.5. 〈http://www.nieuwarchief.nl/serie5/pdf/naw5-2016-17-3-172.pdf〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01363284
Contributeur : Assia Mahboubi <>
Soumis le : mercredi 14 septembre 2016 - 09:19:18
Dernière modification le : samedi 18 février 2017 - 01:14:44
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 12:16:01

Fichier

naw5-2016-17-3-172.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01363284, version 1

Collections

Citation

Assia Mahboubi. Machine-checked mathematics. Nieuw Archief voor Wiskunde, Richard Boucherie, 2016, 5/17 (3), pp.5. 〈http://www.nieuwarchief.nl/serie5/pdf/naw5-2016-17-3-172.pdf〉. 〈hal-01363284〉

Partager

Métriques

Consultations de la notice

172

Téléchargements de fichiers

222