Micaela Mayero
According to our database1,
Micaela Mayero
authored at least 23 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
1
2
1
1
1
1
1
1
2
1
1
1
1
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
J. Autom. Reason., 2022
2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
2015
J. Autom. Reason., 2015
2014
Trusting computations: A mechanized proof from partial differential equations to actual program.
Comput. Math. Appl., 2014
2013
J. Autom. Reason., 2013
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
2012
Proceedings of the NASA Formal Methods, 2012
2011
2010
Innov. Syst. Softw. Eng., 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2008
Proceedings of the 13th BAC-FACS Refinement Workshop, 2008
2006
2005
J. Symb. Comput., 2005
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System.
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant
CoRR, 2005
2002
Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm).
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002
2001
Field, une procédure de décision pour les nombres réels en Coq.
Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001
1999
Proceedings of the Types for Proofs and Programs, 1999