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