Ogita, TakeshiTakeshiOgitaRump, Siegfried M.Siegfried M.RumpOishi, Shin’ichiShin’ichiOishi2021-02-022021-02-022005Technical Report 2005-04, Advanced Research Institute for Science and Engineering Waseda University Tokyo, Japan: (2005)http://hdl.handle.net/11420/8672enInformatikMathematikVerified solution of linear systems without directed roundingTechnical ReportOther