Dr. Appel was among the first mathematicians to use a computer in solving the ‘four-color theorem.’ ...

The proof of the four color problem remained elusive for over a century, until two mathematicians with a computer took a closer look.

The game design is derived from the world-famous “4-Color Map Theorem”. The randomness of the totems in your ‘hand’, the changing colors of the territories, the variety of the maps, and ...