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.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Arithmetic.ABCConjecture

Symbol: abc_triple_check