Rump, Siegfried M.Siegfried M.Rump2021-02-252021-02-252004Bulletin of the Japan Society for Industrial and Applied Mathematics 14(3):2–11 (2004)http://hdl.handle.net/11420/8942ja0917-2270Ōyō-suri20043211Nihon Ōyō Suri GakkaiInformatikMathematikComputer-assisted proofs IJournal ArticleOgita, TakeshiTakeshiOgitaOther