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

（F*）报告题目：Recent Advance on Rational Surface Implicitization using Moving Surfaces (摘要)

报告人陈发来中国科学技术大学

（F*）报告题目：Reductions in symbolic integration (摘要)

报告人陈绍示中国科学院数学与系统科学研究院

（F*）报告题目：Linear Differential Equations under Specialization (摘要)

报告人冯如勇中国科学院数学与系统科学研究院

（F*）报告题目：符号计算与Pi级数 (摘要)

报告人侯庆虎天津大学

（F*）报告题目：TBA

报告人雷娜大连理工大学（已确认）

（F*）报告题目：Hermite Ring Conjecture on polynomial rings over Valuation Rings (摘要)

报告人李冬梅湖南科技大学

（F*）报告题目：The Geometry of Monomials and Null Binomials in Conformal Geometric Algebra (摘要)

报告人李洪波中国科学院数学与系统科学研究院

（F*）报告题目：Motion Polynomials Admitting a Factorization with Linear Factors (摘要)

报告人李子佳中国科学院数学与系统科学研究院

（F*）报告题目：基于可达集上下近似的混成系统安全性验证研究 (摘要)

报告人佘志坤北京航空航天大学

（F*）报告题目：TBA

报告人孙瑶中国科学院信息工程研究所（待确认）

（F*）报告题目：Completing Parametric Unimodular Rows to Unimodular Matrices (摘要)

报告人王定康中国科学院数学与系统科学研究院

（F*）报告题目：计算代数理论和应用 (摘要)

报告人王明生中国科学院信息工程研究所

（F*）报告题目：Computing the greatest common divisor of several parametric univariate polynomials via generalized subresultants (摘要)

报告人杨静广西民族大学

（F*）报告题目：面向组合恒等式的定理自动生成和证明 (摘要)

报告人杨争峰华东师范大学

TSSC 2025