MISC

2018年12月

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

第2回精度保証付き数値計算の実問題への応用研究集会 (NVR)