A computer-assisted well-founded descent for Collatz components under dyadic leaf certificates in the 6-bit hierarchy Mt = 9 · 214+6t (shifts64 scale M1 = 9 · 220, version m = 7
收藏官方服务：
资源简介：
Collatz, 3x+1, number theory, certificates, computational verification, well-founded descent
提供机构：
Zenodo创建时间：
2026-01-15
