数学机械化新进展
[Math. Dept.]
September 15, 2018 10:00-11:00
W303 School of Mathematics
![[seminar]20180915Xiaoshan Gao-01.png](http://tianyuan.scu.edu.cn/upload/default/20180917/%5Bseminar%5D20180915Xiaoshan%20Gao-01.png "[seminar]20180915Xiaoshan Gao-01.png")
SPEAKER
高小山（中国科学院）
SUPPORTED BY
School of Mathematics, Sichuan University
VIDEO
- 数学机械化新进展
- 10:00 - 11:00, 2018-09-15 at E409 School of Mathematics
- 高小山（中国科学院）
高小山（中国科学院）
School of Mathematics, Sichuan University