Naoya Yamanaka

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 3

Top Topics

Double Exponential

Optimality Conditions

Finite Dimensional

Top Venues

ACM Trans. Math. Softw.

Publications

Yusuke Imoto, Naoya Yamanaka, Takeo Uramoto, Masato Tanaka, Masaki Fujikawa, Naoto Mitsume
Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives. JSIAM Lett. 12 (2020)
Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi
Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. MACIS (2015)
Stef Graillat, Christoph Quirin Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin'ichi Oishi
-Vectors. ACM Trans. Math. Softw. 41 (4) (2015)
Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, Takeshi Ogita
A Note on a Verified Automatic Integration Algorithm. Reliab. Comput. 15 (2) (2011)
Naoya Yamanaka, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
A parallel algorithm for accurate dot product. Parallel Comput. 34 (6-8) (2008)