Ozaki, KatsuhisaKatsuhisaOzakiOgita, TakeshiTakeshiOgitaMiyajima, ShinyaShinyaMiyajimaOishi, Shin’ichiShin’ichiOishiRump, Siegfried M.Siegfried M.Rump2021-02-022021-02-022005NOLTA 2005 International Symposium on Nonlinear Theory and its Applications: 749–752 (2005)http://hdl.handle.net/11420/8666enInformatikMathematikComponentwise verified solutions of linear system suited for JavaConference PaperConference Paper