×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
山中 脩也
ヤマナカ ナオヤ (Naoya Yamanaka)
更新日: 01/31
ホーム
研究キーワード
研究分野
経歴
学歴
受賞
論文
書籍等出版物
所属学協会
Works(作品等)
共同研究・競争的資金等の研究課題
Works(作品等)
11
表示件数
20件
20件
50件
100件
Verified Algorithm for the sine integral
2018年9月
その他
Verified Algorithm for Gamma Function using Double Exponential Formula and Its Applications
2017年10月
その他
A method of calculating faithful rounding of l2-norm for n-vectors
2014年9月
その他
「最近点への丸めによる区間演算」(特集「計算の性能ー速度・環境・正確さ」内)
2013年10月
その他
Fast Multiprecision Algorithm Like Quad-Double Arithmetic
2013年9月
その他
Fast infimum-supremum interval operations for double-double arithmetic in rounding to nearest
2012年9月
その他
A Verfied Automatic Contour Integration Algorithm
2010年6月
その他
A Verified Automatic Repeated Integration Algorithm based on Double Exponential Formula
2009年9月
その他
A Fast Automatic Integration Algorithm using Double Exponential Formula based on Verification Theory
2009年6月
その他
Fast Verified Automatic Integration using Double Exponential Formula
2008年9月
その他
Fast Verified Automatic Integration Algorithm Using Complex Analysis
2008年9月
その他
メニュー
マイポータル
研究ブログ
資料公開
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる