Marc Daumas (LIRMM

Identifiers

• name variant Marc Daumas (LIRMM 0.60 · backfill

Papers (5)

1. Formally Verified Argument Reduction with a Fused-Multiply-Add cs.MS · 2007 · author #2
2. Verified Real Number Calculations: A Library for Interval Arithmetic cs.MS · 2007 · author #1
3. Certification of bounds on expressions involving rounded operators cs.MS · 2007 · author #1
4. Stochastic Formal Methods: An application to accuracy of numeric software cs.MS · 2006 · author #1
5. A library of Taylor models for PVS automatic proof checker cs.MS · 2006 · author #2

Mentions

• 0708.3722 #2 · backfill · confidence 0.70 Marc Daumas (LIRMM
• 0708.3721 #1 · backfill · confidence 0.70 Marc Daumas (LIRMM

Frequent Coauthors

• Lp2a) 3 shared papers
• Eliaus) 2 shared papers
• C\'esar Mu\~noz (NIA) 1 shared papers
• David Lester (LP2A 1 shared papers
• David Lester (UNIVERSITY of Manchester) 1 shared papers
• Francisco Ch\'aves (LIP) 1 shared papers
• Guillaume Melquiond (LIP 1 shared papers
• INRIA Rh\^one-Alpes) 1 shared papers
• Ren Cang Li 1 shared papers
• Sylvie Boldo (INRIA Futurs) 1 shared papers
• University of Manchester) 1 shared papers