Documentation

LeanPool.Erdos132ThreeChain

Planar Point Sets Whose Non-Diameter Distances Form a Geometric 3-Chain #

Source: url:https://www.erdosproblems.com/132 Authors: Egor Lyfar Status: verified Main declarations: Erdos132ThreeChain.nonDiameterSqDists_ne_chain Tags: discrete-geometry, distance-geometry, erdos-problems MSC: 52C10, 52C35, 05C69