dblp.uni-trier.dewww.uni-trier.de

Micaela Mayero

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEChristine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008)
2006
7EEMicaela Mayero: The Three Gap Theorem (Steinhauss Conjecture) CoRR abs/cs/0609124: (2006)
6EEDavid 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
5EEDavid 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)
4EEDavid Delahaye, Micaela Mayero: Dealing with algebraic expressions over a field in Coq using Maple. J. Symb. Comput. 39(5): 569-592 (2005)
2002
3EEMicaela 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
1EEMicaela Mayero: The Three Gap Theorem (Steinhaus Conjecture). TYPES 1999: 162-173

Coauthor Index

1Christine Choppy [8]
2David Delahaye [2] [4] [5] [6]
3Laure Petrucci (Laure Petrucci-Dauchy) [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)