文献
J-GLOBAL ID:202202218272744324
整理番号:22A0931056
二重ワード演算の形式化,および「二重ワード算術の基本ビルディングブロックに対するタイトおよび厳密な誤差限界」についてのコメント【JST・京大機械翻訳】
Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
著者 (2件):
Muller Jean-Michel
(CNRS, LIP, Universite de Lyon, Lyon Cedex 07, France)
,
Rideau Laurence
(Inria Sophia Antipolis, Universite Cote d’Azur, Sophia Antipolis Cedex, France)
資料名:
ACM Transactions on Mathematical Software
(ACM Transactions on Mathematical Software)
巻:
48
号:
1
ページ:
1-24
発行年:
2022年
JST資料番号:
D0669A
ISSN:
0098-3500
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)