Toward a language theoretic proof of the four color theorem.
Bobbe CooperEric RowlandDoron ZeilbergerPublished in: Adv. Appl. Math. (2012)
Keyphrases
- interactive theorem proving
- color images
- language learning
- color information
- color space
- natural language
- programming language
- computer vision
- color correction
- high level
- database
- color matching
- image segmentation
- color constancy
- language processing
- target language
- specification language
- proof theory
- proof planning
- neural network