学科简介 学术程序 学员对象 讲员队伍 主要目标
李子明博士，中国科学院数学机械化重点实验室研究员。