On Range Evaluation of Polynomials by Applying Interval Arithmetic. - Shinya Miyajima; Masahide Kashiwagi (LSSC, 2003)

A New Dividing Method in Affine Arithmetic. - Shinya Miyajima; Takatomi Miyata; Masahide Kashiwagi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

A Method Which Finds the Maxima and Minima of a Multivariable Function Applying Affine Arithmetic. - Shinya Miyajima; Masahide Kashiwagi (NAA, 2004)

A dividing method utilizing the best multiplication in affine arithmetic. - Shinya Miyajima; Masahide Kashiwagi (IEICE Electron. Express, 2004)

A Note on a Verified Automatic Integration Algorithm. - Naoya Yamanaka; Masahide Kashiwagi; Shin'ichi Oishi; Takeshi Ogita (Reliab. Comput., 2011)

Verified Computations for Hyperbolic 3-Manifolds. - Neil Hoffman; Kazuhiro Ichihara; Masahide Kashiwagi; Hidetoshi Masai; Shin'ichi Oishi; Akitoshi Takayasu (Exp. Math., 2016)