#

sawin-construction

Here is 1 public repository matching this topic...

Tseng-math / erdos-unit-distance-pointwise-certificate

Proof package for a certified pointwise lower bound in the Erdős unit-distance problem

certificate erdos discrete-geometry computer-assisted-proof algebraic-number-theory unit-distance sawin-construction

Updated May 24, 2026
Python

Improve this page

Add a description, image, and links to the sawin-construction topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sawin-construction topic, visit your repo's landing page and select "manage topics."