TY - JOUR
TI - Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
T2 - IEEE Transactions on Computers
SP - 242
EP - 253
AU - F. de Dinechin
AU - C. Lauter
AU - G. Melquiond
PY - 2010
KW - Correctness proofs
KW - error analysis
KW - elementary function approximation.
DO - 10.1109/TC.2010.128
JO - IEEE Transactions on Computers
IS -
SN - 0018-9340
VO - 10.1109/TC.2010.128
VL - 60
JA - IEEE Transactions on Computers
Y1 - June 2010
ER -