Machine-checked mathematics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Nieuw Archief voor Wiskunde Year : 2016

Machine-checked mathematics

Abstract

In this article she gives an overview about machine-checked mathematics.
Fichier principal
Vignette du fichier
naw5-2016-17-3-172.pdf (321.63 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01363284 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More