Micaela Mayero

	2012
16		Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry: Rigorous Polynomial Approximation Using Taylor Models in Coq. NASA Formal Methods 2012: 85-99
	2011
15		Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Wave Equation Numerical Resolution: Mathematics and Program CoRR abs/1112.1795: (2011)
	2010
14		Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet: Formal Proof of SCHUR Conjugate Function. AISC/MKM/Calculemus 2010: 158-171
13		Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: The Method Error. ITP 2010: 147-162
12		Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR abs/1001.4898: (2010)
11		Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet: Formal Proof of SCHUR Conjugate Function CoRR abs/1004.5034: (2010)
10		Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR abs/1005.0824: (2010)
9		Christine Choppy, Micaela Mayero, Laure Petrucci: Coloured Petri net refinement specification and correctness proof with Coq. ISSE 6(3): 195-202 (2010)
	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	Sylvie Boldo	[10] [12] [13] [15]
2	Nicolas Brisebarre	[16]
3	Franck Butelle	[11] [14]
4	Christine Choppy	[8] [9]
5	François Clément	[10] [12] [13] [15]
6	David Delahaye	[2] [4] [5] [6]
7	Jean-Christophe Filliâtre	[10] [12] [13] [15]
8	Florent Hivert	[11] [14]
9	Mioara Joldes	[16]
10	Érik Martin-Dorel	[16]
11	Guillaume Melquiond	[10] [12] [13] [15]
12	Jean-Michel Muller	[16]
13	Ioana Pasca	[16]
14	Laure Petrucci (Laure Petrucci-Dauchy)	[8] [9]
15	Laurence Rideau	[16]
16	Laurent Théry	[16]
17	Frédéric Toumazet	[11] [14]
18	Pierre Weis	[10] [12] [13] [15]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page