Login / Signup
A formal proof of the four color theorem
Limin Xiang
Published in:
CoRR (2009)
Keyphrases
</>
formal proof
color images
theorem prover
color space
color information
data sets
gray scale
human vision
color image segmentation
neural network
computer vision
probabilistic model
gray level
color segmentation
ccd camera
digital topology