In 1914, Ramanujan listed 17 infinite series representations of 1/π, including for example Several of Ramanujan's formulas relate hypergeometric series to values of the gamma function.In the 1980s, it was discovered that Ramanujan's formulas provided efficient means for calculating digits of π. In 1987, Borwein and Borwein [3] proved all 17 of Ramanujan's identities, while Chudnovsky and Chudnovsky [5] derived additional series for 1/π. Digits of π were calculated in both papers resulting in a new world record at the time by the Chudnovskys of 2, 260, 331, 336 digits. All of these Ramanujan-type formulas for 1/π are related to elliptic curves with complex multiplication (CM).In 1997, van Hamme [18] developed p-adic analogs, for primes p, of several Ramanujan-type series. Analogs of this type are called Ramanujan-type supercongruences, and relate truncated sums of hypergeometric series to values of the p-adic gamma function. In a recent paper [4], the author along with S. Chisholm, A. Deines, L. Long, and G. Nebe proves a general p-adic analog of Ramanujan-type supercongruences modulo p 2
AbstractIn 1997, van Hamme developed p-adic analogs, for primes p, of several series which relate hypergeometric series to values of the gamma function, originally studied by Ramanujan. These analogs relate truncated sums of hypergeometric series to values of the p-adic gamma function, and are called Ramanujan-type supercongruences. In all, van Hamme conjectured 13 such formulas, three of which were proved by van Hamme himself, and five others have been proved recently using a wide range of methods.Here, we explore four of the remaining five van Hamme supercongruences, revisit some of the proved ones, and provide some extensions.