Endowed Professor “Automated Verification of Mathematical Proof”
Stichting Computer Algebra Nederland
Department of Mathematics, Vrije Universiteit Amsterdam
prof. dr. Assia Mahboubi
Endowed Professor, Faculty of Science, Mathematics
Research
Ancillary activities
- Inria | Nantes | onderzoeker | 2018-10-01 - present
Ancillary activities are updated daily
Profile
Publications