A short list color proof of Grötzsch's theorem.

Carsten Thomassen

Published in: J. Comb. Theory, Ser. B (2003)

Keyphrases

short list
interactive theorem proving
color images
color information
color space
image indexing and retrieval
theorem proving
von neumann
color correction
color image segmentation
color matching
search engine
neural network
human vision
image indexing
color segmentation
color features
color quantization
color channels
theorem prover
multiscale
genetic algorithm