2026-02-05
1月28日下午,中国科学院数学与系统科学研究院陈绍示研究员做客理学论坛,在南山楼9A406作了题为“Holonomic Polynomial Sequences”的学术报告。报告由院长助理王晨主持,应用数学系相关师生聆听了报告。 报告会上,陈绍示研究员首先介绍了多项式序列相关的一些自然且基础的问题,如多项式序列次数增长规律、生成函数、零点分布、系数分布、不可约性等问题。之后,陈绍示研究员介绍了近期在Holonomic多项式序列的次数增长规律方面的研究成果,并且举例说明了该成果在组合恒等式证明上的应用。报告会后,陈绍示研究员和到场师生进行了交流互动。报告人简介:陈绍示, 现为中国科学院数学与系统科学研究院研究员。主要研究符号计算、机器证明与组合理论。在Foundations of Computational Mathematics, Algebra and Number Theory, Selecta Mathematica等数学期刊发表论文40余篇。目前担任中国数学会计算机数学专业委员会主任与国际符号与代数计算年会(ISSAC)指导委员会委员。曾获得第二届“吴文俊计算机数学青年学者奖”