Micaela Mayero

	2008
8		Christine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008)
	2006
7		Micaela Mayero: The Three Gap Theorem (Steinhauss Conjecture) CoRR abs/cs/0609124: (2006)
6		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		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		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		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		Micaela Mayero: The Three Gap Theorem (Steinhaus Conjecture). TYPES 1999: 162-173

Coauthor Index

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

Colors in the list of coauthors