A new proof of Grünbaum's 3 color theorem.

Oleg V. Borodin

Published in: Discret. Math. (1997)

Keyphrases

interactive theorem proving
color images
color space
color information
color histogram
theorem prover
theorem proving
color segmentation
color matching
neural network
image processing
image pixels
color correction
image indexing
von neumann
numerically stable