Micaela Mayero

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Coq formalization of Lebesgue induction principle and Tonelli's theorem Formal Methods	2023-08-17	Paper
A Coq formalization of Lebesgue integration of nonnegative functions Journal of Automated Reasoning	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 (available as arXiv preprint)	2021-04-12	Paper
Trusting computations: a mechanized proof from partial differential equations to actual program Computers & Mathematics with Applications	2017-08-21	Paper
Formally verified certificate checkers for hardest-to-round computation Journal of Automated Reasoning	2015-07-02	Paper
Experimenting Formal Proofs of Petri Nets Refinements Electronic Notes in Theoretical Computer Science	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 Journal of Automated Reasoning	2013-07-05	Paper
Formal proof of a wave equation resolution scheme: the method error Interactive Theorem Proving	2010-09-14	Paper
Formal proof of SCHUR conjugate function Lecture Notes in Computer Science	2010-08-24	Paper
Dealing with algebraic expressions over a field in Coq using Maple Journal of Symbolic Computation	2007-10-19	Paper
scientific article; zbMATH DE number 1927426 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1696615 (Why is no real title available?)	2002-07-08	Paper

Research outcomes over time

This page was built for person: Micaela Mayero