Micaela Mayero
发表
Vincent Martin,
François Clément,
Sylvie Boldo,
2017,
CPP.
Jean-Yves Moyen,
David Nowak,
Hugo Férée,
2018,
CPP.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2012,
Comput. Math. Appl..
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2022
.
Nicolas Brisebarre,
Mioara Joldes,
Laurent Théry,
2012,
NASA Formal Methods.
Sylvie Boldo,
Florian Faissole,
Micaela Mayero,
2021,
Journal of Automated Reasoning.
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant
pdf
David Delahaye,
Micaela Mayero,
D. Delahaye,
2005,
ArXiv.
Ioana Pasca,
Laurence Rideau,
Laurent Théry,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2010,
ITP.
Micaela Mayero,
Micaela Mayero,
1999,
TYPES.
Guillaume Melquiond,
Jean-Christophe Filliâtre,
François Clément,
2011,
ArXiv.
S. Boldo,
Vincent Martin,
Micaela Mayero,
2022,
ArXiv.
G. Hanrot,
L. Théry,
Micaela Mayero,
2014,
Journal of Automated Reasoning.
Bruno Monsuez,
Franck Védrine,
Micaela Mayero,
2009
.
Micaela Mayero,
Micaela Mayero,
2002,
TPHOLs.