insider.si.edu

Punch Cards Associated with the Computer Solution of the Four-Color Problem

IIIF provides researchers rich metadata and media viewing options for comparison of works across cultural heritage collections. Visit the IIIF page to learn more. These are some of the punched cards ...
Quanta Magazine

Math’s Famous Map Problem: The Four-Color Theorem

2025 marked a historic year in mathematics. Researchers solved a major case of Hilbert’s ambitious sixth problem, proved a sweeping new theorem about hyperbolic surfaces, and settled the longstanding ...
insider.si.edu

Four colors suffice : how the map problem was solved / Robin Wilson

First published 2002 by Penguin Group, London. https://siris-libraries.si.edu/ipac20/ipac.jsp?&profile=liball&source=~!silibraries&uri=full=3100001~!708595~!0#focus ...
EurekAlert!

Practical demonstration of the proposed technique (IMAGE)

The circuit developed as a demo could solve two classic combinatorial optimization problems simultaneously, namely the max-cut problem (top) and the four-color problem (bottom). Disclaimer: AAAS and ...