Another Proof of the Map Color Theorem for Nonorientable Surfaces.
Vladimir P. KorzhikPublished in: J. Comb. Theory, Ser. B (2002)
Keyphrases
- interactive theorem proving
- color images
- digital topology
- color information
- color space
- color coded
- three dimensional
- surface texture
- theorem prover
- maximum a posteriori
- surface properties
- surface reconstruction
- surface model
- color quantization
- spectral reflectance
- image processing
- surface discontinuities
- object recognition
- image regions
- natural deduction
- illumination direction
- linear logic
- surface registration
- color correction
- free form
- color constancy
- color histogram