Rump, Siegfried M.Siegfried M.Rump2021-04-232021-04-231999Developments in reliable computing: 77-104 (1999)http://hdl.handle.net/11420/9365enInformatikMathematikBook PartOther