Assisted verification of elementary functions (2005)

by F de Dinechin, C Q Lauter, G Melquiond