Improved error bounds for floating-point products and Horner’s scheme - Florian Bünger; Siegfried M. Rump; Claude-Pierre Jeannerod (BIT Numerical Mathematics, 2015)