The Convex-Octagon Case of Erdős Problem 97

Source: doi:10.1080/00029890.1946.11991674, url:https://www.erdosproblems.com/97 Authors: Egor Lyfar Status: verified Main declarations: Erdos97Octagon.erdos97_convex_octagon Tags: discrete-geometry, distance-geometry, erdos-problems, convexity MSC: 51K05, 52A10