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 <>
Submitted on : Wednesday, January 13, 2021 - 9:31:55 PM
Last modification on : Tuesday, February 2, 2021 - 4:48:19 PM

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

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

Share

Metrics

Record views

217

Files downloads

329