Sakura Science Exchange Program
9 - 15 February, 2025
← Back
P000003
計算機援用証明と数学的未解決問題 (Computer-Assisted Proofs and Unsolved Mathematical Problems)
*充宏 中尾 (九州大学)
T.B.A.
T.B.A.
Math formula preview:
OFF
ON
Supported by SmartChair