論文

査読有り 本文へのリンクあり
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 本文へのリンクあり