Rump, Siegfried M.Siegfried M.RumpOishi, Shin’ichiShin’ichiOishi2021-01-292021-01-292010Nonlinear Theory and Its Applications, IEICE 1 (1): 89-96 (2010)http://hdl.handle.net/11420/8627en2185-4106Nonlinear theory and its applications201018996InformatikMathematikVerified computation of a disc containing exactly k roots of a univariate nonlinear functionJournal Article10.1587/nolta.1.89Other