2024年3月29日下午，中国科学院陈绍示副研究员应邀来访公司，并于公司院201报告厅作了题为《Towards a Parallel Summation Algorithm》的学术报告。

报告中，陈绍示副研究员从简单的序列求和开始，介绍了符号计算科学在处理一些较难证明的组合问题时的应用。在此基础上，陈绍示研究员介绍了其团队提出了一个并行积分范式的求和模拟的方法，并利用这一范式，向依赖于求和索引和p递归序列及其移位的求和算法的不确定求和算法迈出了重要的第一步。报告后，大家对该算法在处理一些多项式时的优劣、限制条件等相关问题进行了讨论。

陈绍示,现为中国科学院数学与系统科学研究院研究员,博士生导师。主要研究符号计算，机器证明与组合数学。近几年致力于发展多变元幂级数的算术理论。在符号计算旗舰会议ISSAC与数学期刊Selecta Mathematica, Algebra and Number Theory, Mathematische Zeitschrift, Journal of Combinatorial Theory Series A，Journal of Symbolic Computation等发表论文30余篇。目前担任Journal of Symbolic Computation, Annals of Combinatorics, Journal of Difference Equations and Applications, Journal of Systems Science and Complexity,和《系统科学与数学》等杂志编委。曾获得第二届 “吴文俊计算机数学青年学者奖”(2019)，第46届国际符号与代数计算年会(ISSAC2021)“杰出论文奖”，与国际计算机代数应用大会(ACA2022)“青年学者奖”。

（审核人：郑大彬）