
Search the dblp DataBase
Micaela Mayero:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 David Delahaye, Micaela Mayero
Field, une procédure de décision pour les nombres réels en Coq. [Citation Graph (0, 0)][DBLP] JFLA, 2001, pp:3348 [Conf]
 Micaela Mayero
Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm). [Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:246262 [Conf]
 Micaela Mayero
The Three Gap Theorem (Steinhaus Conjecture). [Citation Graph (0, 0)][DBLP] TYPES, 1999, pp:162173 [Conf]
 David Delahaye, Micaela Mayero
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:5773 [Journal]
 David Delahaye, Micaela Mayero
Dealing with algebraic expressions over a field in Coq using Maple. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2005, v:39, n:5, pp:569592 [Journal]
 Micaela Mayero
The Three Gap Theorem (Steinhauss Conjecture) [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp: [Journal]
Formal Proof of SCHUR Conjugate Function. [Citation Graph (, )][DBLP]
Formal Proof of a Wave Equation Resolution Scheme: The Method Error. [Citation Graph (, )][DBLP]
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant [Citation Graph (, )][DBLP]
Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]
Formal Proof of SCHUR Conjugate Function [Citation Graph (, )][DBLP]
Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]
Experimenting Formal Proofs of Petri Nets Refinements. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
