論文

査読有り筆頭著者責任著者本文へのリンクあり国際誌

2022年5月

Approximate Translation from Floating-Point to Real-Interval Arithmetic

NASA Formal Methods

Daisuke Ishii
Takashi Tomita
Toshiaki Aoki

巻: 13260
号
開始ページ: 733
終了ページ: 751
記述言語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1007/978-3-031-06773-0_39, 10.48550/arXiv.2112.02804

リンク情報

DOI: https://doi.org/10.1007/978-3-031-06773-0_39
DOI: https://doi.org/10.48550/arXiv.2112.02804 本文へのリンクあり
DBLP: https://dblp.uni-trier.de/rec/conf/nfm/IshiiTA22
URL: https://dblp.uni-trier.de/rec/conf/nfm/2022
URL: https://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#IshiiTA22

ID情報

DOI : 10.1007/978-3-031-06773-0_39
DOI : 10.48550/arXiv.2112.02804
DBLP ID : conf/nfm/IshiiTA22

エクスポート: BibTeX RIS

論文リストへ