← AMRAL · 考拉茲猜想 · 二 · 計算與重現 · RUN-039
RUN-039 — Hard-Zeta A-U.2d.11: an exact rational certificate, which is the first headline number in this sweep that could be checked with no reference of my own
載入中…