De Dinechin, Florent
- 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