Home » HDRs

HDRs 2021



  Assia Mahboubi, Machine-checked computer-aided mathematics
Machine-checked computer-aided mathematics
Author : Assia Mahboubi
Document :
Team : GALLINETTE.


Keywords : Type theoryFormal proofsComputer algebra
Abstract



Defense date : 05-01-2021
Jury president : Yves Bertot(Yves.Bertot@inria.fr)
Jury :

    Copyright : LS2N 2017 - Legal notices - 
     -