Skip to Main content Skip to Navigation
New interface
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
https://hal.inria.fr/hal-01363284
Contributor : Assia Mahboubi Connect in order to contact the contributor
Submitted on : Wednesday, September 14, 2016 - 9:19:18 AM
Last modification on : Friday, August 5, 2022 - 9:26:01 AM
Long-term archiving on: : Thursday, December 15, 2016 - 12:16:01 PM

File

Vignette du document
naw5-2016-17-3-172.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01363284, version 1

Collections

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

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

140

Files downloads

285

 

Contact                    Legal Notice                    Personal Data