The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Micaela Mayero: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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:33-48 [Conf]
  2. Micaela Mayero
    Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm). [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:246-262 [Conf]
  3. Micaela Mayero
    The Three Gap Theorem (Steinhaus Conjecture). [Citation Graph (0, 0)][DBLP]
    TYPES, 1999, pp:162-173 [Conf]
  4. 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:57-73 [Journal]
  5. 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:569-592 [Journal]
  6. Micaela Mayero
    The Three Gap Theorem (Steinhauss Conjecture) [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  7. Formal Proof of SCHUR Conjugate Function. [Citation Graph (, )][DBLP]


  8. Formal Proof of a Wave Equation Resolution Scheme: The Method Error. [Citation Graph (, )][DBLP]


  9. Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant [Citation Graph (, )][DBLP]


  10. Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]


  11. Formal Proof of SCHUR Conjugate Function [Citation Graph (, )][DBLP]


  12. Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]


  13. Experimenting Formal Proofs of Petri Nets Refinements. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002