为推进符号计算领域学术交流与合作,夯实基础数学与交叉学科人才培养根基,促进国内青年数学人才交流成长,2026年8月2日至10日在湖南科技大学举办了“符号计算天元数学专题讲习班”,本次讲习班由国家自然科学基金数学天元基金资助,湖南科技大学数学与统计学院主办,中国科学院数学机械化重点实验室、北京航空航天大学数学科学学院联合协办。共吸引了来自北京航空航天大学、北京师范大学、中国科学院等10余所高等院校和科研院所的共50余位青年教师和在读学生(博士生、研究生、高年级本科生)注册参加。8月3日上午,开班仪式在立志楼A601举行,湖南科技大学数学与统计学院副院长汪卫主持开班仪式。

数学与统计学院院长李冬梅致辞。她首先代表主办单位对远道而来的专家学者、授课教师以及来自全国各地的青年学员们表示热烈欢迎,并对天元基金的大力支持致以诚挚感谢。她表示符号计算作为数学与计算机科学深度交叉的重要纽带,从计算机代数到几何计算,从自动推理到数学机械化,符号计算的理论、算法与软件,已成为解决科学和工程中各类复杂问题的有力工具。最后她向学员们提出了三点要求:一是夯实根基,潜心治学;二是开阔视野,善于交叉;三是增进交流,共同成长。

欧洲科学院院士、北京航空航天大学王东明教授线上为讲习班开班致辞,他回顾符号计算发展历程,勉励青年学者潜心基础研究,积极开展学术交流,勇攀科研高峰。

本次讲习班为期7天,共组织了北京航空航天大学牟晨琪教授等讲授的四门基础短课程和两门专业课程,涵盖计算代数、计算机辅助几何设计、计算机数学与可解释人工智能、微分代数与组合恒等式等方向,主要介绍符号计算的理论基础及其应用与交叉研究。






本次讲习班还邀请了中国科学院与系统科学研究院等多位国内符号计算领域的著名专家学者作前沿学术报告。报告符号计算及相关领域的重要科研成果和最新进展,拓宽学术视野、激发科研热情。













全体学员潜心研学、勤于思考,积极与授课专家开展交流探讨,围绕科研选题、算法实现、学术合作、未来研究规划等问题深入研讨,营造了浓厚的学术交流氛围。学校将以此为契机,持续聚焦基础数学前沿与交叉学科创新,不断提升人才培养质量,助力数学学科高质量发展。
一审:关剑成 二审:汪卫 三审:李冬梅