F. de Dinechin, C. Lauter and G. Melquiond, "Certifying the Floating-Point Implementation of an Elementary Function Using Gappa," in IEEE Transactions on Computers, vol. 60, no. , pp. 242-253, 2010.
doi:10.1109/TC.2010.128
keywords:{Correctness proofs; error analysis; elementary function approximation.},
url:doi.ieeecomputersociety.org/10.1109/TC.2010.128