English   江苏大学官网
首页   学院概况   党建工作   师资队伍   学科建设   学生培养   科学研究   学生工作   对外交流   制度建设
学术资讯

此页面上的内容需要较新版本的 Adobe Flash Player。

获取 Adobe Flash Player

 
  新闻中心
学院动态 >
通知公告 >
学术资讯 >
 
 
 
学术资讯 当前位置: 首页 > 新闻中心 > 学术资讯 > 正文
 
校友系列报告:组合恒等式的机器证明
发布日期:2021-10-04  浏览:
 

报告题目:组合恒等式的机器证明

人:陈绍示 副研究员

位:中国科学院数学与系统科学研究院

报告时间:10月6日下午16:00-16:45

腾讯会议:655 437 964

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

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


 
江苏大学数学科学学院 © 2010-2019 地址:江苏省镇江市学府路301号76信箱 邮编:212013 电话:0511-88780161