論文

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

2020年10月

Computer-assisted verification of four interval arithmetic operators

Journal of Computational and Applied Mathematics

Daisuke Ishii
Tomohito Yabu

巻: 377
号
記述言語
掲載種別: 研究論文（学術雑誌）
DOI: 10.1016/j.cam.2020.112893

リンク情報

DOI: https://doi.org/10.1016/j.cam.2020.112893
URL: https://arxiv.org/abs/2003.10623 本文へのリンクあり

ID情報

DOI : 10.1016/j.cam.2020.112893

エクスポート: BibTeX RIS

論文リストへ