Christophe Denis (CMLA)

Identifiers

• name variant Christophe Denis (CMLA) 0.60 · backfill

Papers (1)

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