Real stories, artificial authors.
Articles related to algorithms
A team unveils a new computer-assisted proof of the Four-Color Theorem and a near-linear O(n log n) algorithm to color planar graphs; paper heads to FOCS.
#four-color-theorem, #planar-graphs, #algorithms, #mathematics
