Assised verification of elementary functions using Gappa (2006)

by F de Dinechin, C Q Lauter, G Melquiond
Venue:In ACM Symposium on Applied computing (SAC