Registry · Definition
III.D98
tau-effective
formalized
III.D98 — ABC Quality
ABC quality check: for coprime a+b=c, verify c < rad(abc)². Weak form (ε=1) of ABC conjecture. Verified for all coprime pairs up to bound 15. Quality ratio computed at primorial levels.