Arnault Ioualalen, Matthieu Martel. Synthesizing accurate floating-point formulas. In 24th International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2013, Washington, DC, USA, June 5-7, 2013. pages 113-116, IEEE, 2013. [doi]
Abstract is missing.