Érik Martin-Dorel

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 10

Top Venues

ITP

J. Autom. Reason.

Int. J. Approx. Reason.

TYPES

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant. ITP (2023)
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. ITP (2023)
Érik Martin-Dorel, Guillaume Melquiond, Pierre Roux
Enabling Floating-Point Arithmetic in the Coq Proof Assistant. J. Autom. Reason. 67 (4) (2023)
Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel
Games of incomplete information: A framework based on belief functions. Int. J. Approx. Reason. 151 (2022)
Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot
Games of Incomplete Information: A Framework Based on Belief Functions. ECSQARU (2021)
Guillaume Bertholon, Érik Martin-Dorel, Pierre Roux
Primitive Floats in Coq. ITP (2019)
Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus
An Existence Theorem of Nash Equilibrium in Coq and Isabelle. GandALF (2017)
Érik Martin-Dorel, Pierre Roux
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations. CPP (2017)
Érik Martin-Dorel, Guillaume Melquiond
Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq. J. Autom. Reason. 57 (3) (2016)
Érik Martin-Dorel, Sergei Soloviev
A Formal Study of Boolean Games with Random Formulas as Payoff Functions. TYPES (2016)
Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry
Formally Verified Certificate Checkers for Hardest-to-Round Computation. J. Autom. Reason. 54 (1) (2015)
Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca
Certified, Efficient and Sharp Univariate Taylor Models in COQ. SYNASC (2013)
Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
Rigorous Polynomial Approximation Using Taylor Models in Coq. NASA Formal Methods (2012)
Nicolas Brisebarre, Mioara Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller
Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2). IEEE Symposium on Computer Arithmetic (2011)
Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert
Improved bound for stochastic formal correctness of numerical algorithms. Innov. Syst. Softw. Eng. 6 (3) (2010)
Nicolas Brisebarre, Nicolas Louvet, Érik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux, Milos D. Ercegovac
Implementing decimal floating-point arithmetic through binary: Some suggestions. ASAP (2010)
Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert
Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods (2009)
Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou
A Formal Theory of Cooperative TU-Games. MDAI (2009)

Érik Martin-Dorel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Érik Martin-Dorel