Filter your results
- 3
- 2
- 2
- 2
- 1
- 1
- 5
- 1
- 3
- 1
- 4
- 1
- 5
- 5
- 4
- 1
- 1
- 1
- 5
- 5
- 1
|
|
sorted by
|
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
Conference papers
hal-03176418v1
|
|||
|
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⟩
Journal articles
hal-01086460v2
|
||
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
Reports
hal-03260617v1
|
|||
CoqInterval: A Toolbox for Proving Non-linear Univariate Inequalities in CoqMAP 2016 conference on Effective Analysis: Foundations, Implementations, Certification, Jan 2016, Marseille, France
Conference papers
hal-03155045v1
|
|||
|
Enabling Floating-Point Arithmetic in the Coq Proof AssistantJournal of Automated Reasoning, 2023, 67 (33), ⟨10.1007/s10817-023-09679-x⟩
Journal articles
hal-04114233v2
|