É. Martin-Dorel
发表
G. Melquiond,
J. Muller,
É. Martin-Dorel,
2013
.
G. Melquiond,
É. Martin-Dorel,
2018
.
G. Melquiond,
É. Martin-Dorel,
2014
.
É. Martin-Dorel,
Érik Martin-Dorel,
2011
.
G. Melquiond,
J. Muller,
É. Martin-Dorel,
2013,
BIT Numerical Mathematics.
Marc Daumas,
Érik Martin-Dorel,
Annick Truffert,
2009,
MDAI.
Jan-Georg Smaus,
Stéphane Le Roux,
Érik Martin-Dorel,
2017,
GandALF.
David R. Lester,
Marc Daumas,
Érik Martin-Dorel,
2010,
Innovations in Systems and Software Engineering.
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations
Pierre Roux,
Érik Martin-Dorel,
P. Roux,
2017,
CPP.
Nicolas Brisebarre,
Mioara Joldes,
Laurent Théry,
2012,
NASA Formal Methods.
Guillaume Melquiond,
Érik Martin-Dorel,
G. Melquiond,
2016,
Journal of Automated Reasoning.
Hélène Fargier,
Érik Martin-Dorel,
Pierre Pomeret-Coquot,
2022,
ECSQARU.
Érik Martin-Dorel,
É. Martin-Dorel,
Érik Martin-Dorel,
2012
.
G. Melquiond,
É. Martin-Dorel,
Pierre Roux,
2023,
Journal of Automated Reasoning.
Ioana Pasca,
Laurence Rideau,
Laurent Théry,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.