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