Certifying the floating-point implementation of an elementary function using Gappa (2011)

by Florent De Dinechin , Christoph Lauter , Guillaume Melquiond
Venue:IEEE TRANSACTIONS ON COMPUTERS, 2010. 9 HTTP://DX.DOI.ORG/10.1145/1772954.1772987 10 HTTP://DX.DOI.ORG/10.1145/1838599.1838622 11 HTTP://SHEMESH.LARC.NASA.GOV/NFM2010/PAPERS/NFM2010_14_23.PDF 12 HTTP://DX.DOI.ORG/10.1007/978-3-642-14203-1_11 13 HTTP://DX.
Citations:8 - 3 self