[1] Marie Kerjean, Frédéric Le Roux, Patrick Massot, Micaela Mayero, Zoé Mesnil, Simon Modeste, Julien Narboux, and Pierre Rousselin. Utilisation des assistants de preuves pour l'enseignement en L1. In Gazette de la SMF, volume 174, Octobre 2022. [ bib | .pdf ]
[2] Micaela Mayero. Problèmes critiques et preuves formelles. Habilitation à diriger des recherches, Université Paris 13, novembre 2012. [ bib | .pdf ]
[3] David Delahaye and Micaela Mayero. Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant. Technical report, 2005. [ bib | http ]
[4] Micaela Mayero. The Three Gap Theorem: Specification and Proof in Coq. Technical Report 3848, INRIA, December 1999. [ bib | .html ]
[5] César Muñoz and Micaela Mayero. Real Automation in the Field. Technical Report NASA/CR-2001-211271 Report 39, ICASE Nasa-Langley Research Center, December 2001. [ bib | .ps.gz ]
[6] Micaela Mayero. Formalisation et automatisation de preuves en analyses réelle et numérique. PhD thesis, Université Paris VI, décembre 2001. [ bib | .ps.gz ]
[7] The Coq Development Team. The Coq Proof Assistant Reference Manual Version 7.2. INRIA-Rocquencourt, December 2001. [ bib | .html ]
[8] Micaela Mayero. Le théorème des 3 intervalles: spécification et preuve en Coq. Rapport du dea sémantique, preuves et programmation, Université Pierre et Marie Curie (Paris 6), Septembre 1997. [ bib | .ps.gz ]

This file was generated by bibtex2html 1.99.