Micaela Mayero

Available identifiers

zbMath Open mayero.micaelaMaRDI QIDQ352950

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2852041	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Micaela Mayero