有限要素法に関する精度保証付き数値計算 (Verified computation using finite element method)  

*雪峰 劉 (東京女子大学)

TBA

---

Math formula preview: