Micaela Mayero

Available identifiers

Publication	Date of Publication	Type
A Coq formalization of Lebesgue induction principle and Tonelli's theorem	2023-08-17	Paper
A Coq formalization of Lebesgue integration of nonnegative functions	2022-06-09	Paper
Lebesgue Induction and Tonelli's Theorem in Coq	2022-02-10	Paper
A Coq Formalization of Lebesgue Integration of Nonnegative Functions	2021-04-12	Paper
Trusting computations: a mechanized proof from partial differential equations to actual program	2017-08-21	Paper
Formally verified certificate checkers for hardest-to-round computation	2015-07-02	Paper
Experimenting Formal Proofs of Petri Nets Refinements	2014-03-26	Paper
Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system	2013-10-07	Paper
Wave equation numerical resolution: a comprehensive mechanized proof of a C program	2013-07-05	Paper
Formal proof of a wave equation resolution scheme: the method error	2010-09-14	Paper
Formal proof of SCHUR conjugate function	2010-08-24	Paper
Dealing with algebraic expressions over a field in Coq using Maple	2007-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4484344	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2766807	2002-07-08	Paper

This page was built for person: Micaela Mayero