Machine-checked mathematics

Assia Mahboubi 1
1 SPECFUN - Symbolic Special Functions : Fast and Certified
Inria Saclay - Ile de France
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

INRIA | UNIV-PARIS-SACLAY

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

201

Téléchargements de fichiers

238

Contact


archive-ouverte@inria.fr