計算機援用証明と数学的未解決問題 (Computer-Assisted Proofs and Unsolved Mathematical Problems)  

*充宏 中尾 (九州大学)

T.B.A.

---

Math formula preview: