Rump, Siegfried M.Siegfried M.Rump2021-05-032021-05-031995ZAMM 75: 439–442 (1995)http://hdl.handle.net/11420/9411en1521-4001ZAMM1995439442Wiley-VCHInformatikMathematikVerified computation of the solution of large sparse linear systemsJournal ArticleOther