ヤマナカ ナオヤ   YAMANAKA Naoya
  山中 脩也
   所属   情報学部 情報学科
   職種   准教授
言語種別 英語
発行・発表の年月 2009/04
形態種別 大学・研究所等紀要
標題 A Verified Automatic Integration Algorithm using Double Exponential Formula
執筆形態 共著
掲載誌名 数理解析研究所講究録
掲載区分国内
出版社・発行元 京都大学 数理解析研究所
著者・共著者 Tomoaki Okayama, Shin'ichi Oishi, Takeshi Ogita