Machine-checked mathematics

Name: Machine-checked mathematics
Author: Assia Mahboubi

Author / Organization: Assia Mahboubi

Science & Mathematics Published 2016 Verification Pending

Overview & Synopsis

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

Indexed from repository: HAL Open Science (hal.science)

Loading document from verified source...

Keyboard Shortcuts: ← / → for pages • + / - for zoom • 0 to fit width Powered by Mozilla PDF.js v3.11

Document Title	Machine-checked mathematics
Author / Organization	Assia Mahboubi
Subject & Discipline	Multidisciplinary Academic Open Research
Categories	Science & Mathematics
Publication Year	2016
License / Rights	Open Access / Creative Commons
Resource Verification	Listed PDF (Verification Pending)
Original Host Website	HAL Open Science (`hal.science`)
File Format	application/pdf (Portable Document Format)
Language	EN
Catalog ID	`DOC-168823`
Original Source Link	Visit Source Page on hal.science »