A parallel algorithm for accurate dot product. - Naoya Yamanaka; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (Parallel Comput., 2008)

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

Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. - Naoya Yamanaka; Tomoaki Okayama; Shin'ichi Oishi (MACIS, 2015)

Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors. - Stef Graillat; Christoph Quirin Lauter; Ping Tak Peter Tang; Naoya Yamanaka; Shin'ichi Oishi (ACM Trans. Math. Softw., 2015)

Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives. - Yusuke Imoto; Naoya Yamanaka; Takeo Uramoto; Masato Tanaka; Masaki Fujikawa; Naoto Mitsume (JSIAM Lett., 2020)