supercongruences

Here are 4 public repositories matching this topic...

huiminZheng-collab / sun-conjecture-2-7-proof-candidate

Computer-assisted formal-group proof candidate for Z.-H. Sun's Conjecture 2.7 on Apéry-like sequence G_n (OEIS A143583), via the CM newform eta(4z)^6.

reproducible-research number-theory computer-assisted-proof supercongruences proof-candidate apery-like-numbers sun-conjecture oeis-a143583 formal-groups cm-modular-forms atkin-swinnerton-dyer

Updated Sep 21, 2026
TeX

huiminZheng-collab / sun-conjecture-2-3-proof-candidate

Star

Computer-assisted proof candidate for all six branches of Z.-H. Sun's Conjecture 2.3 on Apéry-like sequence G_n (OEIS A143583), with exact verification programs.

reproducible-research number-theory pade-approximation computer-assisted-proof legendre-polynomials supercongruences proof-candidate apery-like-numbers sun-conjecture oeis-a143583 cm-periods

Updated Sep 21, 2026
TeX

huiminZheng-collab / sun-conjecture-2-6-proof-candidate

Star

Computer-assisted proof candidate for Z.-H. Sun's Conjecture 2.6 on the Apéry-like sequence G_n (OEIS A143583): an all-depth p-adic supercongruence, with exact PARI/GP certificates and reproducibility records. Not human peer-reviewed.

reproducible-research number-theory computer-assisted-proof pari-gp hypergeometric-series supercongruences proof-candidate apery-like-numbers p-adic-congruences sun-conjecture oeis-a143583

Updated Sep 19, 2026
TeX

rbajaj5 / a183068-supercongruence

Star

A concise proof, exact checks, and related developments for the OEIS A183068 supercongruence

oeis number-theory a183068 supercongruences

Updated Aug 18, 2026
Python

Add this topic to your repo

To associate your repository with the supercongruences topic, visit your repo's landing page and select "manage topics."

Learn more