Peter Alfeld, --- Department of Mathematics, --- College of Science --- University of Utah

Multivariate Splines and the 4 Color Map Problem


The proof of the four color map theorem was controversial because it required extensive use of computers. It's impractical, although in principle straightforward, to check the validity of the proof by hand.