现在位置:首页 > 学术报告
 

 

Academy of Mathematics and Systems Science, CAS
Colloquia & Seminars

Speaker:

刘纪彩, 温州大学

Inviter:  
Title:
Semi-automated proof of supercongruences on partial sums of hypergeometric series
Time & Venue:
2018.8.8 16:00 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
 

 

附件下载:
 
 
【打印本页】【关闭本页】
电子政务平台   |   科技网邮箱   |   ARP系统   |   会议服务平台   |   联系我们   |   友情链接