Guillaume Melquiond
- 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
- Handbook of Floating-Point Arithmetic
2018/01/01 by Jean-Michel Muller, Jean‐Michel Muller, Nicolas Brunie +8 · 5 citations
Computer Science · #Numerical Methods and Algorithms
- Certifying floating-point implementations using Gappa
2008/01/03 by Florent de Dinechin, De Dinechin, Florent, Christoph Lauter +3 · 1 citation
Computer Science · Engineering · #Digital Filter Design and Implementation #FOS: Computer and information sciences #FOS: Mathematics #Low-power high-performance VLSI design #Mathematical Software (cs.MS) #Numerical Analysis (math.NA) #Numerical Methods and Algorithms
- Handbook of Floating-Point Arithmetic
2009/11/10 by Jean‐Michel Muller, Nicolas Brisebarre, Florent de Dinechin +6 · 3 citations
Computer Science · Mathematics · #Numerical Methods and Algorithms #Polynomial and algebraic computation #Mathematical and Computational Methods