| |
| 2008 | ||
|---|---|---|
| 8 | EE | Christine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008) |
| 2006 | ||
| 7 | EE | Micaela Mayero: The Three Gap Theorem (Steinhauss Conjecture) CoRR abs/cs/0609124: (2006) |
| 6 | EE | David Delahaye, Micaela Mayero: Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. Electr. Notes Theor. Comput. Sci. 151(1): 57-73 (2006) |
| 2005 | ||
| 5 | EE | David Delahaye, Micaela Mayero: Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant CoRR abs/cs/0510011: (2005) |
| 4 | EE | David Delahaye, Micaela Mayero: Dealing with algebraic expressions over a field in Coq using Maple. J. Symb. Comput. 39(5): 569-592 (2005) |
| 2002 | ||
| 3 | EE | Micaela Mayero: Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm). TPHOLs 2002: 246-262 |
| 2001 | ||
| 2 | David Delahaye, Micaela Mayero: Field, une procédure de décision pour les nombres réels en Coq. JFLA 2001: 33-48 | |
| 1999 | ||
| 1 | EE | Micaela Mayero: The Three Gap Theorem (Steinhaus Conjecture). TYPES 1999: 162-173 |
| 1 | Christine Choppy | [8] |
| 2 | David Delahaye | [2] [4] [5] [6] |
| 3 | Laure Petrucci (Laure Petrucci-Dauchy) | [8] |