EasyChair Smart SlideDocs/Log in
Author: Assia Mahboubi

This page shows all presentations of this author published in EasyChair Smart Slide.

Invited Talk: Computer Deduction and (Formal) Proofs in Mathematics

Invited Talk: Computer Deduction and (Formal) Proofs in Mathematics

Assia Mahboubi

Classical Analysis with Coq

Classical Analysis with Coq

Reynald Affeldt, Cyril Cohen, Assia Mahboubi, Damien Rouhling and Pierre-Yves Strub

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair