Rump, Siegfried M.Siegfried M.Rump2021-02-252021-02-252004Bulletin of the Japan Society for Industrial and Applied Mathematics 14(4): 44-57 (2004)http://hdl.handle.net/11420/8943ja0917-2270Ōyō-suri200444457Nihon Ōyō Suri GakkaiInformatikMathematikComputer-assisted proofs IIJournal ArticleOgita, TakeshiTakeshiOgitaOther