Assisted verification of elementary functions using Gappa.

Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond

Browse the full SAC paper archive.