Rump, Siegfried M.Siegfried M.Rump2021-05-102021-05-101992Computer arithmetic and enclosure methods$dproceedings of the Third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91): 339-350 (1992)http://hdl.handle.net/11420/9489enInformatikMathematikInclusion of the solution for large linear systems with M-MatrixConference PaperOther