Rump, Siegfried M.Siegfried M.Rump2021-01-292021-01-292009International workshop on verified computations and related topics: (2009)http://hdl.handle.net/11420/8629enInformatikMathematikError-free transformations and ill-conditioned problemsResearch ReportOther