Login / Signup
Certifying floating-point implementations using Gappa
Florent de Dinechin
Christoph Quirin Lauter
Guillaume Melquiond
Published in:
CoRR (2008)
Keyphrases
</>
floating point
fixed point
square root
sparse matrices
fast fourier transform
instruction set
floating point arithmetic
interval arithmetic
pairwise
general purpose