Pablo De Oliveira Castro (LI-PaRAD

Identifiers

• name variant Pablo De Oliveira Castro (LI-PaRAD 0.60 · backfill

Papers (1)

1. Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic cs.MS · 2015 · author #2

Mentions

• 1509.01347 #2 · arxiv_oai · confidence 0.70 Pablo De Oliveira Castro (LI-PaRAD

Frequent Coauthors

• Christophe Denis (CMLA) 1 shared papers
• Eric Petit (UVSQ) 1 shared papers
• UVSQ) 1 shared papers