Assisted verification of elementary functions (2005)

by Florent de Dinechin , Christoph Lauter , Guillaume Melquiond
Citations:5 - 2 self