Daumas, Marc

1. Certification of bounds on expressions involving rounded operators
   2007/01/29 by Marc Daumas, Daumas, Marc, Guillaume Melquiond +1 · 3 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #FOS: Computer and information sciences #Holomorphic and Operator Theory #Mathematical Inequalities and Applications #Mathematical Software (cs.MS) #cs.MS
2. Verified Real Number Calculations: A Library for Interval Arithmetic
   2007/08/28 by Marc Daumas, David Lester, Daumas, Marc +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Mathematical Software (cs.MS) #cs.LO #cs.MS
3. Formally Verified Argument Reduction with a Fused-Multiply-Add
   2007/08/28 by Sylvie Boldo, Marc Daumas, Boldo, Sylvie +4 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Mathematical Software (cs.MS) #Numerical Methods and Algorithms #Performance (cs.PF) #cs.MS #cs.PF