@ARTICLE{,
author = {F. de Dinechin and C. Lauter and G. Melquiond},
journal = {IEEE Transactions on Computers},
title = {Certifying the Floating-Point Implementation of an Elementary Function Using Gappa},
year = {2010},
volume = {60},
number = {},
pages = {242-253},
keywords={Correctness proofs; error analysis; elementary function approximation.},
doi = {10.1109/TC.2010.128},
url = {doi.ieeecomputersociety.org/10.1109/TC.2010.128},
ISSN = {0018-9340},
month={06}
}