Sylvie Boldo (INRIA Futurs)

Identifiers

• name variant Sylvie Boldo (INRIA Futurs) 0.60 · backfill

Papers (2)

1. Formally Verified Argument Reduction with a Fused-Multiply-Add cs.MS · 2007 · author #1
2. Formal proof for delayed finite field arithmetic using floating point operators cs.SC · 2007 · author #1

Mentions

• 0708.3722 #1 · backfill · confidence 0.70 Sylvie Boldo (INRIA Futurs)

Frequent Coauthors

• Eliaus) 1 shared papers
• Marc Daumas (ELIAUS) 1 shared papers
• Marc Daumas (LIRMM 1 shared papers
• Pascal Giorgi (LIRMM) 1 shared papers
• Ren Cang Li 1 shared papers