Érik Martin-Dorel

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 formal study of Boolean games with random formulas as payoff functions	2026-02-20	Paper
Lessons for interactive theorem proving researchers from a survey of Coq users Journal of Automated Reasoning	2025-03-20	Paper
Lessons for interactive theorem proving researchers from a survey of Coq users	2024-11-26	Paper
Bel-games: a formal theory of games of incomplete information based on belief functions in the Coq proof assistant	2024-11-26	Paper
Enabling floating-point arithmetic in the Coq proof assistant Journal of Automated Reasoning	2023-10-24	Paper
Primitive Floats in Coq	2023-02-03	Paper
Games of incomplete information: a framework based on belief functions International Journal of Approximate Reasoning	2022-12-08	Paper
Games of incomplete information: a framework based on belief functions Lecture Notes in Computer Science	2022-06-15	Paper
An existence theorem of Nash equilibrium in Coq and Isabelle	2021-12-14	Paper
An existence theorem of Nash equilibrium in Coq and Isabelle (available as arXiv preprint)	2021-12-14	Paper
Proving tight bounds on univariate expressions with elementary functions in Coq Journal of Automated Reasoning	2016-10-27	Paper
Formally verified certificate checkers for hardest-to-round computation Journal of Automated Reasoning	2015-07-02	Paper
Some issues related to double rounding BIT	2014-02-03	Paper
A formal theory of cooperative TU-games Modeling Decisions for Artificial Intelligence	2009-12-17	Paper

Research outcomes over time

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