The Bannai-Bannai-Stanton Bound on Distance Sets

Source: url:https://github.com/AntoineduFresne/Bannai-Bannai-Stanton_Theorem Authors: Antoine du Fresne von Hohenesche Status: verified Main declarations: BannaiBannaiStanton.bannai_bannai_stanton_bound Tags: combinatorics, distance-sets, polynomial-method MSC: 52C10, 05B30