← AMRAL · 考拉茲猜想 · 二 · 計算與重現 · RUN-054

RUN-054

RUN-054 — Hard-Zeta A-U.2d.26: a withdrawn constant, a certificate rebuilt from exact rationals, and a PASS for a file that isn't there