校园门户 校园邮箱 English
澳门威斯尼斯人游戏师资队伍学科建设科学研究本科生教育研究生教育学生工作招生工作合作交流党建与思政人才招聘
  学术报告
 学术报告 
 学术会议 
 学术访问 
快速通道
 
相关链接
 
科研系统 图书馆 教务系统
财务系统 OA系统 学院邮箱
学术报告
当前位置: 首页 >> 合作交流 >> 学术交流 >> 学术报告 >> 正文
学术报告——陈绍示副研究员(中国科学院数学与系统科学研究院)
2022-05-07 22:21     (点击: )


报告名称:组合恒等式机器证明

主讲人:陈绍示 副研究员

邀请人:唐大钊 讲师

时间:2022510日   15:00

地点:腾讯会议(ID829 849 366

主办单位:澳门威斯尼斯人游戏


报告摘要

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


专家简介

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

关闭窗口
Copyright 2007-2028      重庆师范大学澳门威斯尼斯人游戏      ALL Right@Reserved

学院地址:重庆市大学城 重庆师范大学虎溪校区 汇贤楼 邮编:401131   电话:023-65362798