Four Color Fest was held to celebrate the 40th anniversary of the proof of the Four Color Theorem and as a part of the 2017 sesquicentennial celebration of the founding of the University of Illinois.
The Four Color Theorem Exhibit was on display in the Mathematics Library October 17, 2017. For a full list of all items on display, visit A Colorful Topic: Four Color Fest.
Appel/Haken First Appel Pubication:
- Appel, K.; Haken, W. Every planar map is four colorable. Part I: Discharging . Illinois J. Math. 21 (1977), no. 3, 429--490.
- Appel, K.; Haken, W.; Koch, J. Every planar map is four colorable. Part II: Reducibility . Illinois J. Math. 21 (1977), no. 3, 491--567.
- Appel, Kenneth I.,Haken, W. (1989) Every planar map is four colorable /Providence, R.I. : American Mathematical Society, 510.5 CON v.98.
- Fritsch, Rudolf,Fritsch, Gerda. (1998) The four color theorem :history, topological foundations, and idea of proof New York : Springer, 514 F918v:E.
- Koch, John Allen. (1976) Computation of four color irreducibility /Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign FILM 1976 K8111.
- Koch, John Allen. (1976) Computation of four color irreducibility /Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 510.84 IL6R v.794-802.
- Zhang, Ping. () A Kaleidoscopic view of graph colorings / SpringerLink.
- Saaty, Thomas L.Kainen, Paul C. (1986)The four-color problem :assaults and conquest New York : Dover Publications, 511.5 SA12F1986.
- Wilson, Robin J. (2002) Four colours suffice : how the map problem was solved Princeton, NJ : Princeton University Press, 793.74 W691f (There is an new 2014 edition of this book that the library does not own).
- Biggs, Norman., Lloyd, E. Keith.Wilson, Robin J. (1976) Graph theory 1736-1936 /Oxford [Eng.] : Clarendon Press, MATH 511.5 B484G1977.
American Mathematical Society - AMS