Home

Semi-automated proof of supercongruences on partial sums of hypergeometric series
2018-09-04 00:00:00

报告题目:

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

报 告 人:

刘纪彩 博士(温州大学)

报告时间:

2018年09月07日 14:30--15:30

报告地点:

理学院东北楼四楼报告厅(404)

报告摘要:

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.