您当前位置: 韦德娱乐1946最新官网  >  学术讲座

韦德娱乐1946最新官网讲准字【2021】第210号:合恒等式的机器证明

发布时间:2021-10-18|浏览次数:

讲座报告主题:组合恒等式的机器证明
专家姓名:陈绍示
日期:2021-10-18 时间:16:00
地点:腾讯会议:655 437 964
主办单位:数学科学学院

主讲简介:陈绍示, 现为韦德娱乐1946最新官网科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算,计算微分代数与组合数学。2005年毕业于江苏大学信息与计算科学系。2011年韦德娱乐1946最新官网科学院与法国巴黎综合理工学校联合培养博士毕业,曾先后在奥地利林茨大学、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢大学从事博士后工作。在符号计算领域旗舰会议 ISSAC 发表论文16篇,以及 Algebra and Number Theory, Journal of Symbolic Computation,Journal of Algebra, 和 Journal of Combinatorial theory, Series A 等期刊发表论文 10 余篇。目前担任韦德娱乐1946最新官网计算机协会 ACM SIGSAM 的秘书长与韦德娱乐1946最新官网数学会计算机数学专业委员会秘书长,韦德娱乐1946最新官网符号与代数计算年会 ISSAC 指导委员会主席,以及担任《Annals of Combinatorics》, 《Journal of Systems Science and Complexity》等学术期刊编委。曾获得第二届 “吴文俊计算机数学青年学者奖”与 第36届韦德娱乐1946最新官网符号与代数计算年会“ISSAC2021杰出论文奖”。入选韦德娱乐1946最新官网科学院第七届“陈景润未来之星”人才计划和韦德娱乐1946最新官网科学院2018年度青年创新促进会会员。研究专长:主要研究符号计算,计算微分代数与组合数学。

主讲内容简介:韦德娱乐1946最新官网机器证明是数学与计算机科学的交叉领域。20世纪70年代,吴文俊院士在几何定理机器证明方面做出了先驱性工作。与几何定理证明一样,组合恒等式的传统证明方法往往具有高度的技巧性,没有统一性。20世纪90年代,组合学家Wilf和Zeilberger发展了组合恒等式机器证明的算法理论,即WZ理论。该理论彻底改变了组合恒等式与特殊函数论的研究面貌,并成为符号计算应用于组合数学、数论、数学物理等领域的桥梁。本报告将介绍WZ理论的基本算法、最新进展、以及在组合中的一些重要应用。


欢迎师生参加!

实博是否正规 韦德买球app下载 韦德中文版下载 十博手机客户端下载 韦德官网网页版推荐 实博韦德娱乐1946最新官网下载大全 bet实博下载安卓版 实博官网app入口 实博网页版wx678 com 十博客户端进入 百度