A simple proof of the Map Color Theorem for nonorientable surfaces.

Vladimir P. Korzhik

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

Keyphrases

color images
theorem proving
maximum a posteriori
color information
free form
color space
illumination direction
provably correct
interactive theorem proving