网站地图 | 联系我们 | English | 意见反馈 | 主任信箱
 
首页 中心概况 新闻动态 科研进展 交流合作 人才培养 研究队伍 人才招聘 政策规章 数学交叉科学传播
学术报告
现在位置:首页 > 学术报告

Semi-automated proof of supercongruences on partial sums of hypergeometric series
【2018.8.8 4:00pm, N205】

【打印】【关闭】

 2018-8-2 

  Colloquia & Seminars 

  Speaker

刘纪彩, 温州大学

  Title

Semi-automated proof of supercongruences on partial sums of hypergeometric series

  Time

2018.8.8 16:00 N205

  Venue

N205

  Abstract

Using the software package Sigma developed by Schneider, we automatically discover and prove some combinatorial identities involving harmonic numbers, from which we deduce some supercongruences on partial sums of hypergeometric series. These results confirm some conjectural generalizations of van Hamme's (B.2) and (C.2) supercongruences in some special cases, and extend van Hamme's (A.2) and (H.2) supercongruences to the cases modulo p 4

  Affiliation

 

欢迎访问国家数学与交叉科学中心 
地址:北京海淀区中关村东路55号 邮编:100190 电话: 86-10-62613242 Fax: 86-10-62616840 邮箱: ncmis@amss.ac.cn