cm-modular-forms

Here is 1 public repository 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

Add this topic to your repo

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

Learn more