Παρακολούθηση
Érik Martin-Dorel
Érik Martin-Dorel
Άλλα ονόματαErik Martin-Dorel
Associate Professor in Computer Science, Univ. Toulouse III - Paul Sabatier
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα irit.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Proving tight bounds on univariate expressions with elementary functions in Coq
É Martin-Dorel, G Melquiond
Journal of Automated Reasoning 57, 187-217, 2016
442016
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
262012
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
232017
Some issues related to double rounding
É Martin-Dorel, G Melquiond, JM Muller
BIT Numerical Mathematics 53 (4), 897-924, 2013
192013
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
192013
An existence theorem of Nash equilibrium in Coq and Isabelle
SL Roux, É Martin-Dorel, JG Smaus
arXiv preprint arXiv:1709.02096, 2017
112017
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
102015
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
72010
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
62022
Primitive floats in Coq
G Bertholon, É Martin-Dorel, P Roux
ITP 2019, Interactive Theorem Proving, 2019
62019
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
62016
Enabling Floating-Point Arithmetic in the Coq Proof Assistant
É Martin-Dorel, G Melquiond, P Roux
Journal of Automated Reasoning 67 (4), 33, 2023
52023
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
52011
SSReflect in Coq 8.10
E Martin-Dorel, E Tassi
The Coq Workshop, 1-2, 2019
42019
Contributions to the Formal Verification of Arithmetic Algorithms
É Martin-Dorel
Ecole normale supérieure de lyon-ENS LYON, 2012
42012
Stochastic formal correctness of numerical algorithms
M Daumas, D Lester, E Martin-Dorel, A Truffert
Proceedings of the First NASA Formal Methods Symposium, 2009
42009
A formal theory of cooperative TU-games
M Daumas, É Martin-Dorel, A Truffert, M Ventou
Modeling Decisions for Artificial Intelligence: 6th International Conference …, 2009
32009
Games of incomplete information: A framework based on belief functions
H Fargier, É Martin-Dorel, P Pomeret-Coquot
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th …, 2021
22021
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
22010
Stochastic formal methods for hybrid systems
M Daumas, D Lester, E Martin-Dorel, A Truffert
arXiv preprint cs/0610110, 2006
22006
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20