author-photo

Érik Martin-Dorel

French Institute for Research in Computer Science and Automation

2

Papers

16

Citations

Citation Trend

Filter By

Papers (2) Sort By

Journal Conference Others

Formally Verified Certificate Checkers for Hardest-to-Round Computation

2015 Journal of Automated Reasoning
Show All
- Source
- Cite
- Save
Citations (6)
Certified, Efficient and Sharp Univariate Taylor Models in COQ

2013 SYNASC | Symbolic and Numeric Algorithms for Scientific Computing
Show All
- Source
- Cite
- Save
Citations (10)