|
Search the dblp DataBase
Assia Mahboubi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Assia Mahboubi
Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials. [Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:438-452 [Conf]
- Assia Mahboubi
Programming and certifying a CAD algorithm in the Coq system. [Citation Graph (0, 0)][DBLP] Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
- Benjamin Grégoire, Assia Mahboubi
Proving Equalities in a Commutative Ring Done Right in Coq. [Citation Graph (0, 0)][DBLP] TPHOLs, 2005, pp:98-113 [Conf]
- Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
A Modular Formalisation of Finite Group Theory. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:86-101 [Conf]
- Assia Mahboubi
Implementing the cylindrical algebraic decomposition within the Coq system. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:99-127 [Journal]
A Formal Quantifier Elimination for Algebraically Closed Fields. [Citation Graph (, )][DBLP]
Packaging Mathematical Structures. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|