Verified bounds for least squares problems and underdetermined linear systems Rump, Siegfried M. 2012 - TUHH Open Research
Accurate solution of dense linear systems, Part I: Algorithms in rounding to nearest Rump, Siegfried M. 2012 - TUHH Open Research
Fast algorithms for floating-point interval matrix multiplication Ozaki, Katsuhisa Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2012 - TUHH Open Research
Accurate solution of dense linear systems, Part II: Algorithms using directed rounding Rump, Siegfried M. 2012 - TUHH Open Research