Érik Martin-Dorel

From MaRDI portal
Person:331613

Available identifiers

zbMath Open martin-dorel.erikMaRDI QIDQ331613

List of research outcomes





PublicationDate of PublicationType
Lessons for interactive theorem proving researchers from a survey of Coq users2024-11-26Paper
Bel-games: a formal theory of games of incomplete information based on belief functions in the Coq proof assistant2024-11-26Paper
Enabling floating-point arithmetic in the Coq proof assistant2023-10-24Paper
Primitive Floats in Coq2023-02-03Paper
Games of incomplete information: a framework based on belief functions2022-12-08Paper
Games of incomplete information: a framework based on belief functions2022-06-15Paper
https://portal.mardi4nfdi.de/entity/Q33841622021-12-14Paper
Proving tight bounds on univariate expressions with elementary functions in Coq2016-10-27Paper
Formally verified certificate checkers for hardest-to-round computation2015-07-02Paper
Some issues related to double rounding2014-02-03Paper
A Formal Theory of Cooperative TU-Games2009-12-17Paper

Research outcomes over time

This page was built for person: Érik Martin-Dorel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:331613&oldid=7740611"
Powered by MediaWiki