Registry · Definition
III.D109
tau-effective
formalized
III.D109 — High Quality Count
Count coprime triples with quality q≥1 (c≥rad(abc)). Rare: includes (1,8,9). At most 5 up to bound 30.
Book III
Part 10
Ch. 81