Assisted verification of elementary functions using Gappa (2006)

by F de Dinechin, C Q Lauter, G Melquiond
Venue:In SAC ’06: Proceedings of the 2006 ACM symposium on Applied computing