| |
| 2007 | ||
|---|---|---|
| 5 | EE | Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry: A Modular Formalisation of Finite Group Theory. TPHOLs 2007: 86-101 |
| 4 | EE | Assia Mahboubi: Implementing the cylindrical algebraic decomposition within the Coq system. Mathematical Structures in Computer Science 17(1): 99-127 (2007) |
| 2006 | ||
| 3 | EE | Assia Mahboubi: Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials. IJCAR 2006: 438-452 |
| 2005 | ||
| 2 | EE | Assia Mahboubi: Programming and certifying a CAD algorithm in the Coq system. Mathematics, Algorithms, Proofs 2005 |
| 1 | EE | Benjamin Grégoire, Assia Mahboubi: Proving Equalities in a Commutative Ring Done Right in Coq. TPHOLs 2005: 98-113 |
| 1 | Georges Gonthier | [5] |
| 2 | Benjamin Grégoire | [1] |
| 3 | Laurence Rideau | [5] |
| 4 | Enrico Tassi | [5] |
| 5 | Laurent Théry | [5] |