简历 出版物 课程 学生 项目

Zhi Lihong，教授 数学机械化重点实验室主任 数学与系统科学学院 中国科学院 副教授 切里顿计算机科学学院，滑铁卢大学 lzhi在mmrc.iss.ac.cn（电子邮件）