Semi-automated proof of supercongruences on partial sums of hypergeometric series
scientific article; zbMATH DE number 7040043
scientific article