論文

基本情報

氏名 森倉 悠介
氏名(カナ) モリクラ ユウスケ
氏名(英語) MORIKURA Yusuke
所属 大学 国際政治経済学部 国際政治経済学科
職名 准教授
researchmap研究者コード
researchmap機関

題名

Verification metho ds for linear systems using ufp estimation with rounding-to-nearest​​​​

単著・共著の別

共著

著者

森倉悠介, 尾崎克久, 大石進一

担当区分

概要

本論文は、連立一次方程式の近似解の解の存在性と誤差範囲の検証方法に関するものである。多くの手法は,IEEE 754規格で定められた丸めモードの切り替えを必要とする.この切り替えはいくつかの計算環境でサポートされていない.本論文では,近年開発されたRumpの誤差評価法を用いて,Ogita-Rump-Oishiの定理を改善した. 担当:筆頭著者として,全ページを担当 著者:森倉悠介, 尾崎克久, 大石進一


発表雑誌等の名称

Nonlinear Theory and its Applications, IEICE

出版者

vol.4

no.1

開始ページ

12

終了ページ

22

発行又は発表の年月

2013/01

査読の有無

有り

招待の有無

記述言語

掲載種別

国際・国内誌

国際誌

国際共著

ISSN

eISSN

ISBN

DOI

URL

形式

URL

無償ダウンロード