Rump, Siegfried M.Siegfried M.Rump2021-05-212021-05-211993Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik 93.1: (1993)http://hdl.handle.net/11420/9591enInformatikMathematikValidated solution of large linear systemsTechnical ReportOther