Christophe Denis (CMLA)
Identifiers
- name variant Christophe Denis (CMLA) 0.60 · backfill
Papers (1)
- Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic cs.MS · 2015 · author #1
Mentions
- 1509.01347 #1 · arxiv_oai · confidence 0.70 Christophe Denis (CMLA)
Frequent Coauthors
- Eric Petit (UVSQ) 1 shared papers
- Pablo De Oliveira Castro (LI-PaRAD 1 shared papers
- UVSQ) 1 shared papers