2025年8月
12
星期二
202111415090
部分数学定理证明过程可视化的实现
创新训练项目
中国地质大学(北京)
一年期
理学
数学类
2021-06-24
2022-06-28
姓名 专业班级 所在学院 项目中的分工 成员类型
张宏量 第一主持人
于海滨 成员
余明辉 成员
李世同 成员
许克灿 成员
姓名 职称 指导教师类型
高世臣 教授 第一指导教师