← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-013

RUN-013

RUN-013 — the Certificate Globalizer is faithful in ℚ and not in float64