Micaela Mayero

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 7

Top Topics

Oblique Decision Trees

Ambrosio Tortorelli

Top Venues

J. Autom. Reason.

Comput. Math. Appl.

Publications

Sylvie Boldo, François Clément, David Hamelin, Micaela Mayero, Pierre Rousselin
Teaching Divisibility and Binomials with Coq. CoRR (2024)
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. FM (2023)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. J. Autom. Reason. 66 (2) (2022)
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
Lebesgue Induction and Tonelli's Theorem in Coq. CoRR (2022)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. CoRR (2021)
Hugo Férée, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak
Formal proof of polynomial-time complexity with quasi-interpretations. CPP (2018)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq formal proof of the LaxMilgram theorem. CPP (2017)
Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry
Formally Verified Certificate Checkers for Hardest-to-Round Computation. J. Autom. Reason. 54 (1) (2015)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Trusting computations: A mechanized proof from partial differential equations to actual program. Comput. Math. Appl. 68 (3) (2014)
Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca
Certified, Efficient and Sharp Univariate Taylor Models in COQ. SYNASC (2013)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. J. Autom. Reason. 50 (4) (2013)
Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
Rigorous Polynomial Approximation Using Taylor Models in Coq. NASA Formal Methods (2012)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program. CoRR (2012)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Wave Equation Numerical Resolution: Mathematics and Program CoRR (2011)
Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet
Formal Proof of SCHUR Conjugate Function. AISC/MKM/Calculemus (2010)
Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet
Formal Proof of SCHUR Conjugate Function CoRR (2010)
Christine Choppy, Micaela Mayero, Laure Petrucci
Coloured Petri net refinement specification and correctness proof with Coq. Innov. Syst. Softw. Eng. 6 (3) (2010)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR (2010)
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
Formal Proof of a Wave Equation Resolution Scheme: The Method Error. ITP (2010)
Christine Choppy, Micaela Mayero, Laure Petrucci
Coloured Petri net refinement specification, and correctness proof with Coq. NASA Formal Methods (2009)
Christine Choppy, Micaela Mayero, Laure Petrucci
Experimenting Formal Proofs of Petri Nets Refinements. Electron. Notes Theor. Comput. Sci. 214 (2008)
Micaela Mayero
The Three Gap Theorem (Steinhauss Conjecture) CoRR (2006)
David Delahaye, Micaela Mayero
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. Calculemus (2005)
David Delahaye, Micaela Mayero
Dealing with algebraic expressions over a field in Coq using Maple. J. Symb. Comput. 39 (5) (2005)
David Delahaye, Micaela Mayero
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant CoRR (2005)
Micaela Mayero
Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm). TPHOLs (2002)
David Delahaye, Micaela Mayero
Field, une procédure de décision pour les nombres réels en Coq. JFLA (2001)
Micaela Mayero
The Three Gap Theorem (Steinhaus Conjecture). TYPES (1999)