- 4
- 2
Érik Martin-Dorel
6
Documents
Identifiants chercheurs
erik-martin-dorel-
0000-0001-9716-9491
- IdRef : 164762299
Présentation
Brought to you by HAL.
Brought to you by HAL.
Publications
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
|
|
Enabling Floating-Point Arithmetic in the Coq Proof AssistantJournal of Automated Reasoning, 2023, 67 (33), ⟨10.1007/s10817-023-09679-x⟩
Article dans une revue
hal-04114233v2
|
|
|
Proving Tight Bounds on Univariate Expressions with Elementary Functions in CoqJournal of Automated Reasoning, 2016, 57 (3), pp.187-217. ⟨10.1007/s10817-015-9350-4⟩
Article dans une revue
hal-01086460v2
|
|
|
Some issues related to double roundingsBIT Numerical Mathematics, 2013, 53 (4), pp.897-924. ⟨10.1007/s10543-013-0436-2⟩
Article dans une revue
ensl-00644408v3
|
CoqInterval: A Toolbox for Proving Non-linear Univariate Inequalities in CoqMAP 2016 conference on Effective Analysis: Foundations, Implementations, Certification, Jan 2016, Marseille, France
Communication dans un congrès
hal-03155045v1
|
|
Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016)Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
Communication dans un congrès
hal-03176418v1
|
Proving Tight Bounds on Univariate Expressions in Coq[Research Report] IRIT-RR-2014-09-FR, IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-32
Rapport
hal-03260617v1
|