MISC

2018年12月

Why3を用いた区間演算ライブラリの検証

第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR)
  • 石井 大輔
  • ,
  • 薮 智仁