Improved error bounds for inner products in floating-point arithmetic Jeannerod, Claude Pierre Rump, Siegfried M. 2013 - TUHH Open Research