Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond. Assisted verification of elementary functions using Gappa. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1318-1322, ACM, 2006. [doi]
Abstract is missing.