I Balla - Bulletin of the London Mathematical Society, 2024 - Wiley Online Library
Determining the maximum number of unit vectors in R r R^r with no pairwise inner product
exceeding α α is a fundamental problem in geometry and coding theory. In 1955, Rankin …