[Published on-line before print in Journal of Symbolic Computation (volume and page numbers tbd).]
[Journal version  ]

First posted:July 15, 2019.

Maple packages

• SuperCongruence.txt, a Maple package to check some of the statements in the paper, and to compute the promised numbers that feature in the super congruences.

Sample Input and Output for SuperCongruence.txt

• If you want to see empirical confirmation of theorem 3.3 of the article

  the input file generates the output file.

• If you want to see empirical confirmation of theorem 3.4 of the article, and the values of the integers [a_m, c_m] that show up for all odd m from 1 to 21, and the primes from p=5 to p=137

  the input file generates the output file.

Doron Zeilberger's Home Page