• 49 引用
  • 4 h指数
19912016

年単位の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

研究成果

  • 49 引用
  • 4 h指数
  • 16 Article
  • 2 Conference article
  • 1 Editorial
2016

Verified Computations for Hyperbolic 3-Manifolds

Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S. & Takayasu, A., 2016 1 2, : : Experimental Mathematics. 25, 1, p. 66-78 13 p.

研究成果: Article

13 引用 (Scopus)
2011

A note on a verified automatic integration algorithm

Yamanaka, N., Kashiwagi, M., Oishi, S. & Ogita, T., 2011 6 1, : : Reliable Computing. 15, 2, p. 156-167 12 p.

研究成果: Article

2007
11 引用 (Scopus)
2005
2004
9 引用 (Scopus)
2003
7 引用 (Scopus)
2001
1993
2 引用 (Scopus)
1 引用 (Scopus)
1991