論文

査読有り 筆頭著者 責任著者 本文へのリンクあり
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 本文へのリンクあり

エクスポート
BibTeX RIS