符号计算天元数学专题讲习班
主办单位：
湖南科技大学数学与统计学院
协办单位：
北京航空航天大学数学科学学院
中国科学院数学机械化重点实验室
2026年8月2－10日 中国·湘潭
学科简介
与数值计算相对应，符号计算考虑如何在计算机上表示和处理符号数学对象以及如何进行这些符号对象之间的精确运算和形式推导。它的主要分支包括计算机代数与分析、几何计算、自动推理与编程等。符号计算软件已成为解决各种科学与工程问题的有力工具。符号计算与自动推理和吴文俊院士开创并倡导的数学机械化密切相关，而作为相近学科它们又各具特色、侧重不一。符号计算强调构造性理论的建立与发展、有效算法的设计与实施、软件系统的研制与开发，以及它们在科学工程中的应用。
主要目标
符号计算专题讲习班的目的是让有志于从事符号计算及应用研究的青年教师和研究生系统地了解这一数学与计算机科学的交叉领域，学习其中
的基本概念、思想和方法，快速了解最新前沿动态和研究成果，激发他们的科研热情，帮助他们打好专业基础、拓展研究视野和思维方式，提高他们的专业水平和科研能力，培养更多未来从事符号计算及其相关领域研究和教育的优秀人才，并进一步加强该领域科研人员之间的学术交流与合作。
学员对象
有意学习计算机代数、计算机辅助几何设计、计算机数学与可解释人工智能、微分代数与组合恒等式等的研究生、青年教师和科研人员，符号计算及其应用领域的在读研究生和博士后，从事建符号计算及其应用领域
研究和教学的专业人员，以及使用符号计算方法和软件的工程技术人员。
学术程序
本次第八期符号计算专题讲习班将设置四门基础短课程、两门专业课程，主要向学员介绍涵盖符号计算主要分支的基础知识。同时，多位国内著名专家学者将作前沿学术报告，报告符号计算及相关领域的重要科研成果和最新进展。
活动资助
国家自然科学基金委员会数学天元基金
湖南科技大学数学与统计学院
讲习班主席
王东明 北京航空航天大学/法国国家科学研究中心
学术委员会
高小山 中国科学院数学与系统科学研究院
陈发来 中国科学技术大学
夏壁灿 北京大学
支丽红 中国科学院数学与系统科学研究院（主席）
程序委员会(按姓氏拼音排序)
陈绍示 中国科学院数学与系统科学研究院
崔 丽 北京师范大学
冯如勇 中国科学院数学与系统科学研究院
黄 博 北京航空航天大学
侯晓荣 电子科技大学
贾晓红 中国科学院数学与系统科学研究院
牟晨琪 北京航空航天大学
雷 娜 大连理工大学
李冬梅 湖南科技大学
李 楠 深圳大学
李 伟 中国科学院数学与系统科学研究院
李子明 中国科学院数学与系统科学研究院
林东岱 中国科学院信息工程研究所
刘金旺 湖南科技大学（主席）
鲁 东 西南交通大学
佘志坤 北京航空航天大学
孙 瑶 中国科学院信息工程研究所
唐春明 广州大学
王定康 中国科学院数学与系统科学研究院
王明生 中国科学院信息工程研究所
杨争峰 华东师范大学
叶 科 中国科学院数学与系统科学研究院
赵明阳 中国科学院数学与系统科学研究院
郑大彬 湖北大学
组织委员会
李冬梅 湖南科技大学（主席）
袁春明 中国科学院数学与系统科学研究院
黄 博 北京航空航天大学
关剑成 湖南科技大学
黄 铮 湖南科技大学
历期讲习班
第一期：2004年7月13-22日，中国黄山
第二期：2006年7月15-22日，中国北京
第三期：2009年8月10-16日，中国成都
第四期：2015年8月3-9日，中国北京
第五期：2017年7月16-22日，中国南宁
第六期：2019年7月21-27日，中国重庆
第七期：2025年1月5-12日，中国深圳
联系人
李冬梅：18907322228
黄 铮：15211158945
讲习班网站
https://math.hnust.edu.cn/index.html
http://www.mmrc.iss.ac.cn/tssc2026/home.html
日程安排 （课程和报告顺序可能根据实际情况调整） |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
注：8月3日至9日的上课地点和报告地点为立志楼A601报告厅
