Rump, Siegfried M.Siegfried M.Rump2021-04-232021-04-231999NATO Advanced Study Institute on Error Control and Adaptivity in Scientific Computing, 1998 (1999)http://hdl.handle.net/11420/9366enInformatikMathematikVerified solution of large linear and nonlinear systemsConference PaperConference Paper