Eliaus)

Identifiers

• name variant Eliaus) 0.60 · backfill

Papers (2)

1. Formally Verified Argument Reduction with a Fused-Multiply-Add cs.MS · 2007 · author #3
2. Verified Real Number Calculations: A Library for Interval Arithmetic cs.MS · 2007 · author #2

Mentions

• 0708.3722 #3 · backfill · confidence 0.70 Eliaus)
• 0708.3721 #2 · backfill · confidence 0.70 Eliaus)

Frequent Coauthors

• Marc Daumas (LIRMM 2 shared papers
• C\'esar Mu\~noz (NIA) 1 shared papers
• David Lester (UNIVERSITY of Manchester) 1 shared papers
• Ren Cang Li 1 shared papers
• Sylvie Boldo (INRIA Futurs) 1 shared papers