HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Machine-checked computer-aided mathematics

Assia Mahboubi 1
1 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Keywords : Type theory formal proofs computer algebra
Document type :
Habilitation à diriger des recherches
Complete list of metadata
https://tel.archives-ouvertes.fr/tel-03107626
Contributor : Assia Mahboubi Connect in order to contact the contributor
Submitted on : Wednesday, January 13, 2021 - 9:31:55 PM
Last modification on : Wednesday, April 27, 2022 - 3:46:23 AM

File

Vignette du document
memoir_with_cover.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03107626, version 2

Collections

EC-NANTES | UNAM | LS2N | UNIV-NANTES | CNRS | INRIA | INSTITUT-TELECOM | LS2N-GALLINETTE | INRIA2

Citation

Assia Mahboubi. Machine-checked computer-aided mathematics. Logic in Computer Science [cs.LO]. Université de Nantes (UN), Nantes, FRA., 2021. ⟨tel-03107626v2⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

450

Files downloads

653