ヤマナカ ナオヤ   YAMANAKA Naoya
  山中 脩也
   所属   情報学部 情報学科
   職種   准教授
言語種別 英語
発行・発表の年月 2011/06
形態種別 学術雑誌
査読 査読有り
標題 A Note on Verified Automatic Integration Algorithm
執筆形態 共著
掲載誌名 Reliable Computing
掲載区分国外
著者・共著者 Masahide Kashiwagi, Shin'ichi Oishi, Takeshi Ogita