Rump, Siegfried M.Siegfried M.Rump2021-04-232021-04-231999Error control and adaptivity in scientific computing: 279–298 (1999)http://hdl.handle.net/11420/9366enInformatikMathematikVerified solution of large linear and nonlinear systemsBook PartOther