MISC

2018年8月

Machine-Aided Verification of Four Interval Arithmetic Operators

International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN)
  • Tomohito Yabu
  • ,
  • Daisuke Ishii

開始ページ
176
終了ページ
177
記述言語
掲載種別
研究発表ペーパー・要旨(国際会議)