科研动态

9月14日上午，应理学院之邀，中国科学院数学与系统科学研究院陈绍示老师给我院作了题为“组合恒等式的机器证明”的学术报告，报告会由林丽双教授主持。

陈老师首先介绍了基于符号计算的数学定理的机器证明范例，又详细介绍了前人在这方面的研究工作，研究进展，最后陈老师展示了他在WZ理论上的研究成果并提出了一些还未解决的问题。

报告结束后，陈老师与师生们进行了融洽的互动和交流，开拓了师生们的学术视野，使大家受益匪浅。