The Chromatic Number of the Plane is At Least 5: A New Proof.

Geoffrey Exoo Dan Ismailescu

Published in: Discret. Comput. Geom. (2020)

Keyphrases

neural network
computational complexity
three dimensional
small number
training data
mobile robot
theorem proving
computational effort
finite number