Efficient evaluation of quantum recoupling symbols, q-hypergeometric series via cyclotomic factorization
-
Updated
Sep 21, 2026 - Julia
Efficient evaluation of quantum recoupling symbols, q-hypergeometric series via cyclotomic factorization
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.
To associate your repository with the hypergeometric-series topic, visit your repo's landing page and select "manage topics."