Rump, Siegfried M.Siegfried M.Rump2021-05-062021-05-061996Scientific computing and validated numerics : proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; Wuppertal, Germany, September 26 - 29, 1995. - Berlin : Akademie-Verl., 1996. - Seite 105-117http://hdl.handle.net/11420/9458enInformatikMathematikConference PaperOther