Fast algorithms for floating-point interval matrix multiplication Ozaki, Katsuhisa Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2012 - TUHH Open Research