TY  - RPRT
TI  - Certifying floating-point implementations using Gappa
AU  - Florent De Dinechin
AU  - Christoph Quirin Lauter
AU  - Guillaume Melquiond
PY  - 2008
UR  - https://arxiv.org/abs/0801.0523
ID  - 0801.0523
ER  -