$k$-Equivalence Relations and Associated Algorithms

Daniel Selsam, Jesse Michael Han

Lines and circles pose significant scalability challenges in synthetic geometry. A line with $n$ points implies $\left(\genfrac{}{}{0ex}{}{n}{3}\right)$ collinearity atoms, or alternatively, when lines are…