| Proving tight bounds on univariate expressions with elementary functions in Coq É Martin-Dorel, G Melquiond Journal of Automated Reasoning 57, 187-217, 2016 | 40 | 2016 |
| Rigorous Polynomial Approximation Using Taylor Models in Coq N Brisebarre, M Joldeş, É Martin-Dorel, M Mayero, JM Muller, I Paşca, ... NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012 | 25 | 2012 |
| A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations É Martin-Dorel, P Roux Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017 | 20 | 2017 |
| Some issues related to double rounding É Martin-Dorel, G Melquiond, JM Muller BIT Numerical Mathematics 53 (4), 897-924, 2013 | 17 | 2013 |
| Certified, efficient and sharp univariate Taylor models in Coq É Martin-Dorel, L Rideau, L Théry, M Mayero, I Pasca 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 17 | 2013 |
| An existence theorem of Nash equilibrium in Coq and Isabelle SL Roux, É Martin-Dorel, JG Smaus arXiv preprint arXiv:1709.02096, 2017 | 9 | 2017 |
| Formally verified certificate checkers for hardest-to-round computation É Martin-Dorel, G Hanrot, M Mayero, L Théry Journal of Automated Reasoning 54, 1-29, 2015 | 9 | 2015 |
| Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt (x^ 2+ y^ 2) N Brisebarre, M Joldes, P Kornerup, É Martin-Dorel, JM Muller 2011 IEEE 20th Symposium on Computer Arithmetic, 23-30, 2011 | 6 | 2011 |
| Improved bound for stochastic formal correctness of numerical algorithms M Daumas, D Lester, É Martin-Dorel, A Truffert Innovations in Systems and Software Engineering 6, 173-179, 2010 | 6 | 2010 |
| A formal study of boolean games with random formulas as payoff functions É Martin-Dorel, S Soloviev 22nd International Conference on Types for Proofs and Programs (TYPES 2016 …, 2016 | 5 | 2016 |
| SSReflect in Coq 8.10 E Martin-Dorel, E Tassi The Coq Workshop, 1-2, 2019 | 4 | 2019 |
| Primitive floats in Coq G Bertholon, É Martin-Dorel, P Roux ITP 2019, Interactive Theorem Proving, 2019 | 4 | 2019 |
| Contributions to the Formal Verification of Arithmetic Algorithms É Martin-Dorel Ecole normale supérieure de lyon-ENS LYON, 2012 | 4 | 2012 |
| Stochastic formal correctness of numerical algorithms M Daumas, D Lester, E Martin-Dorel, A Truffert Proceedings of the First NASA Formal Methods Symposium, 2009 | 4 | 2009 |
| A formal theory of cooperative TU-games M Daumas, É Martin-Dorel, A Truffert, M Ventou Modeling Decisions for Artificial Intelligence: 6th International Conference …, 2009 | 3 | 2009 |
| Games of incomplete information: A framework based on belief functions P Pomeret-Coquot, H Fargier, É Martin-Dorel International Journal of Approximate Reasoning 151, 182-204, 2022 | 2 | 2022 |
| Implementing decimal floating-point arithmetic through binary: some suggestions N Brisebarre, N Louvet, É Martin-Dorel, JM Muller, A Panhaleux, ... ASAP 2010-21st IEEE International Conference on Application-specific Systems …, 2010 | 2 | 2010 |
| Stochastic formal methods for hybrid systems M Daumas, D Lester, E Martin-Dorel, A Truffert arXiv preprint cs/0610110, 2006 | 2 | 2006 |
| Enabling Floating-Point Arithmetic in the Coq Proof Assistant É Martin-Dorel, G Melquiond, P Roux Journal of Automated Reasoning 67 (4), 33, 2023 | 1 | 2023 |
| Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users A de Almeida Borges, AC Artís, JR Falleri, EJG Arias, É Martin-Dorel, ... 14th International Conference on Interactive Theorem Proving (ITP 2023) 268 …, 2023 | 1 | 2023 |
jean-michel mullerCNRS, Ecole Normale Supérieure de Lyon, INRIA, Université de LyonVerified email at ens-lyon.fr
