第七期符号计算专题讲习班

2025年1月5-12日，中国深圳

学科简介

与数值计算相对应，符号计算考虑如何在计算机上表示和处理符号数学对象以及如何进行这些符号对象之间的精确运算和形式推导。它的主要分支包括计算机代数与分析、几何计算、自动推理与编程等。符号计算软件已成为解决各种科学与工程问题的有力工具。符号计算与自动推理和吴文俊院士开创并倡导的数学机械化密切相关，而作为相近学科它们又各具特色、侧重不一。符号计算强调构造性理论的建立与发展、有效算法的设计与实施、软件系统的研制与开发，以及它们在科学工程中的应用。

主要目标

符号计算专题讲习班的目的是让新学员了解这一数学与计算机科学的交叉学科，学习其基本概念、思想、方法和软件，帮助青年教师和学者掌握各种先进的理论、算法和技巧，促进不同领域科研人员之间的学术交流与合作。与此同时，讲习班将向新学员说明符号计算对现代科研与教学的意义、作用和潜力，鼓励优秀研究生和青年学者加入符号计算及其相关领域特别是数学机械化的研究行列，为发展壮大我国在该领域中的学术队伍，促进符号计算与相关领域的交叉融合，提高我国的科研水平和学术地位而共同努力。

学员对象

有意学习符号计算、数学机械化、计算代数几何的（数学和计算机科学系的）高年级本科生、研究生、青年教师和科研人员，符号计算与数学机械化方向的在读研究生和博士后，从事符号计算与数学机械化研究和教学的专业人员，以及使用符号计算方法和软件的工程技术人员。

学术程序

本次第七期符号计算专题讲习班将设置两门基础短课程，主要向学员介绍符号计算的若干基本概念、技巧和方法；四门专题短课程，主要向学员介绍符号计算在其他方向的应用与交叉研究。同时，多位国内著名专家学者将作前沿学术报告，报告符号计算及相关领域的重要科研成果和最新进展。

历期讲习班

第一期：2004年7月13-22日，中国黄山
第二期：2006年7月15-22日，中国北京
第三期：2009年8月10-16日，中国成都
第四期：2015年8月3-9日，中国北京
第五期：2017年7月16-22日，中国南宁
第六期：2019年7月21-27日，中国重庆

TSSC 2025

Shenzhen, China, January 5-12