{"id":1713,"date":"2018-08-04T14:03:00","date_gmt":"2018-08-04T14:03:00","guid":{"rendered":"http:\/\/wordpress.library.illinois.edu\/mtx\/?page_id=1713"},"modified":"2025-11-12T19:35:33","modified_gmt":"2025-11-12T19:35:33","slug":"four-color-theorem-resources","status":"publish","type":"page","link":"https:\/\/wordpress.library.illinois.edu\/mtx\/four-color-theorem-resources\/","title":{"rendered":"Four Color Theorem (4CT) &#8211; Resources"},"content":{"rendered":"<h2 style=\"text-align: center\"><span id=\"four_color_display\">Print and online copies<\/span><\/h2>\n<h3 id=\"4CT-displayed-items\"><strong>Items on Display:<\/strong><\/h3>\n<ol>\n<li id=\"4CT-001\">Aigner, M. (1984).\u00a0<i>Graphentheorie: eine Entwicklung aus dem 4-Farben Problem<\/i>.\u00a0Stuttgart:\u00a0B.G. Teubner<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9985978912205899\">.<\/a>\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9985978912205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.5 AI33G.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/zbmath.org\/?q=Graphentheorie+eine+Entwicklung+aus+dem+4-Farben+Problem+&quot;&gt;zbMATH&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-002\">Aigner, M. (1987).\u00a0<i>Graph theory: a development from the 4-color problem.\u00a0<\/i>Moscow, ID: BCS Associates.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99106467412205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.5 AI33G:E.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/zbmath.org\/?q=Graph+theory+a+development+from+the+4-color+problem&quot;&gt;zbMATH&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-003\">Allaire, F. (1978). Another proof of the four colour theorem. I. In <em>Proceedings of the Seventh Manitoba Conference on Numerical Mathematics and Computing <\/em>(pp. 3\u201372)<em>.<\/em>Winnipeg:\u00a0Utilitas Mathematica Publishing. <a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9954120512205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 519.4 M314P.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=535003&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-004\">Appel, K., &amp; Haken, W. (1976). Every planar map is four colorable.\u00a0<i>Bulletin of the American Mathematical Society<\/i>,\u00a0<i>82<\/i>(5), 711\u2013712.\u00a0<a href=\"https:\/\/projecteuclid.org\/journals\/bulletin-of-the-american-mathematical-society\/volume-82\/issue-5\/Every-planar-map-is-four-colorable\/bams\/1183538218.full\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.6 AMB2.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-84966228398&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;sid=0685b0fe139a73fc2666aa13952dfd9a&amp;sot=a&amp;sdt=a&amp;sl=41&amp;s=TITLE%28Every+planar+map+is+four+colorable%29&amp;relpos=2&amp;citeCnt=143&amp;searchTerm&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.3690049&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-005\">Appel, K., &amp; Haken, W. (1976). Every planar map is four colorable.\u00a0<i>Journal of Recreational Mathematics<\/i>,\u00a0<i>9<\/i>(3), 161.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/discovery\/openurl?institution=01CARLI_UIU&amp;vid=01CARLI_UIU:CARLI_UIU&amp;ctx_enc=info:ofi%2Fenc:UTF-8&amp;rft_val_fmt=info:ofi%2Ffmt:kev:mtx:journal&amp;rft.epage=169&amp;rft.stitle=J%20%20Recreational%20Math%20&amp;rft.volume=9&amp;rfr_id=info:sid%2Fams.org:MathSciNet&amp;ctx_ver=Z39.88-2004&amp;rft.jtitle=Journal%20of%20Recreational%20Mathematics&amp;rft.auinitm=&amp;rft.aufirst=Kenneth&amp;rft.genre=article&amp;rft.issue=3&amp;rft.pages=161-169&amp;rft.auinit1=K&amp;rft.aulast=Appel&amp;rft.auinit=K&amp;rft.date=1976&amp;rft.spage=161&amp;rft.atitle=Every%20planar%20map%20is%20four%20colorable&amp;rft.title=Journal%20of%20Recreational%20Mathematics&amp;rft.issn=0022412x\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 793.7405 JO.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0543797&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-006\">Appel, K., &amp; Haken, W. (1976). Special announcement: A proof of the four color theorem.\u00a0<i>Discrete Mathematics<\/i>,\u00a0<i>16<\/i>(2), 179\u2013180.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/discovery\/openurl?institution=01CARLI_UIU&amp;vid=01CARLI_UIU:CARLI_UIU&amp;ctx_enc=info:ofi%2Fenc:UTF-8&amp;rft_val_fmt=info:ofi%2Ffmt:kev:mtx:journal&amp;rft.epage=180&amp;rft.stitle=Discrete%20Math%20&amp;rft.volume=16&amp;rft_id=info:doi%2F10.1016%2F0012-365X(76)90147-3&amp;rfr_id=info:sid%2Fams.org:MathSciNet&amp;ctx_ver=Z39.88-2004&amp;rft.jtitle=Discrete%20Mathematics&amp;rft.auinitm=&amp;rft.aufirst=K.&amp;rft.genre=article&amp;rft.issue=2&amp;rft.pages=179-180&amp;rft.auinit1=K&amp;rft.aulast=Appel&amp;rft.auinit=K&amp;rft.date=1976&amp;rft.spage=179&amp;rft.atitle=A%20proof%20of%20the%20four%20color%20theorem&amp;rft.title=Discrete%20Mathematics&amp;rft.issn=0012365X\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 DI.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.523850&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-007\">Appel, K., &amp; Haken, W. (1976). The existence of unavoidable sets of geographically good configurations.\u00a0<i>Illinois Journal of Mathematics<\/i>,\u00a0<i>20<\/i>(2), 218\u2013297.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/discovery\/openurl?institution=01CARLI_UIU&amp;vid=01CARLI_UIU:CARLI_UIU&amp;ctx_enc=info:ofi%2Fenc:UTF-8&amp;rft_val_fmt=info:ofi%2Ffmt:kev:mtx:journal&amp;rft.epage=297&amp;rft.stitle=Illinois%20J%20%20Math%20&amp;rft.volume=20&amp;rfr_id=info:sid%2Fams.org:MathSciNet&amp;ctx_ver=Z39.88-2004&amp;rft.jtitle=Illinois%20Journal%20of%20Mathematics&amp;rft.auinitm=&amp;rft.aufirst=K.&amp;rft.genre=article&amp;rft.issue=2&amp;rft.pages=218-297&amp;rft.auinit1=K&amp;rft.aulast=Appel&amp;rft.auinit=K&amp;rft.date=1976&amp;rft.spage=218&amp;rft.atitle=The%20existence%20of%20unavoidable%20sets%20of%20geographically%20good%20configurations&amp;rft.title=Illinois%20Journal%20of%20Mathematics&amp;rft.issn=00192082\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 IL.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0392641&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.526688&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-008\">Appel, K., &amp; Haken, W. (1977). Every planar map is four colorable. Part I: Discharging.\u00a0<i>Illinois Journal of Mathematics<\/i>,\u00a0<i>21<\/i>(3), 429\u2013490.\u00a0<a href=\"https:\/\/projecteuclid.org\/euclid.ijm\/1256049011\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 IL.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.526688&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-009\">Appel, K, &amp; Haken, W. (1979). An unavoidable set of configurations in planar triangulations.\u00a0<i>Journal of Combinatorial Theory, Series B<\/i>,\u00a0<i>26<\/i>(1), 1\u201321.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1016\/0095-8956(79)90038-8\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 511.605 JOB.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.557297&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-010\">Appel, K., &amp; Haken, W. (1986). The four color proof suffices.\u00a0<i>The Mathematical Intelligencer<\/i>,\u00a0<i>8<\/i>(1), 10\u201320.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Since no one else has communicated any other errors in the published unavoidability proof since 1976 we assume that a misunderstanding of the nature of Schmidt&#039;s work was the source of those rumors that seem to have stimulated so much new interest in our work. We would certainly appreciate independent verification of the remaining 60 percent of our unavoidability proof and would be grateful for any information on further bookkeeping (or other) errors whenever such are found.* We have written computer programs preparatory to a thorough com puter verification of all of the material in the microfiche supplements. When this is completed we plan to publish (entirely on paper rather than on microfiche cards) an entire emended version of our original proof including the q-positive bookkeeping. At first thought one might think that we would miss the pleasures of discussing the latest rumors with our colleagues returning from meetings but further consideration leads us to believe that facts have never stopped the propagation of a good rumor and so nothing much will change.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1007\/BF03023914\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 MAHI.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-0004524866&amp;origin=inward&amp;txGid=389fbbe13f8dfaac04dd5a11c198ced5&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.248795&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-011\">Appel, K., &amp; Haken, W. (1989). Every Planar Map is Four Colorable. <em>American Mathematical Society, 98<\/em>. <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1090\/conm\/098\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 510.5 CON v.98.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=1025335&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.7270135&quot;&gt;Library Catalog Record - E-Resource&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.1592916&quot;&gt;Library Catalog Record - Print Copy&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-012\">Appel, K., Haken, W., &amp; Koch, J. (1977). Every planar map is four colorable. Part II: Reducibility.\u00a0<i>Illinois Journal of Mathematics<\/i>,\u00a0<i>21<\/i>(3), 491\u2013567.\u00a0<a href=\"https:\/\/projecteuclid.org\/euclid.ijm\/1256049012\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 IL.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.526688&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-013\">Ball, W. W. R., &amp; Coxeter, H. S. M. (1987).\u00a0Map-colouring problems. In\u00a0W. W. R. Ball &amp; H. S. M. Coxeter,\u00a0<i>Mathematical recreations and essays\u00a0<\/i>(13th ed., p. 222). New York:\u00a0Dover Publications.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99133876012205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 793.74 B21M1987.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=905673&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-014\">Bar-Natan, D. (1997). Lie algebras and the Four Color Theorem.\u00a0<i>Combinatorica<\/i>,\u00a0<i>17<\/i>(1), 43\u201352.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"We present a statement about Lie algebras that is equivalent to the Four Color Theorem.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a> <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1007\/BF01196130\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 511.605 CO.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-0031444041&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;st1=Lie+algebras+and+the+Four+Color+Theorem&amp;st2=&amp;sid=62f09c5d2f2dc8bdce9e509172f26c20&amp;sot=b&amp;sdt=b&amp;sl=54&amp;s=TITLE-ABS-KEY%28Lie+algebras+and+the+Four+Color+Theorem%29&amp;relpos=0&amp;citeCnt=17&amp;searchTerm=&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.520247&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-015\">Bernhart, F. R. (1977). A digest of the four color theorem. <em>Journal of Graph Theory, 1<\/em>(3), 207-225. <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"A major event in 1976 was the announcement that the Four Color Conjecture (4CC) had at long last become the Four Color Theorem (4CT). The proof by W. Haken, K. Appel, and J. Koch is published in the Illinois Journal of Mathematics, and their two\u2010part article outlines the nature and reliability of the solution. The first section is a readable and informative historical survey. The reminder will appeal chiefly to specialists in graph theory. Although the logic of attack is relatively simple, the need to examine an immense number of individual cases is frustrating. Hopefully this first breakthrough will pave the way for a short elegant proof. For the second section, 1200 hours of computer time was ...\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a> <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1002\/jgt.3190010305\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 511.505 JO.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-84923857786&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;sid=126b0163027fe2b9936e09e024cb80f1&amp;sot=a&amp;sdt=a&amp;sl=41&amp;s=TITLE%28A+digest+of+the+four+color+theorem%29&amp;relpos=0&amp;citeCnt=3&amp;searchTerm&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.90192&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-016\">Biggs, N. L. (1983). De morgan on map colouring and the separation axiom. <em>Archive for History of Exact Sciences, 28<\/em>(2), 165\u2013170. <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1007\/BF00327701\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 509.05 ARC.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.jstor.org\/stable\/41133686?seq=1#page_scan_tab_contents&quot;&gt;JSTOR - Full text&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-34250146909&amp;origin=inward&amp;txGid=d56aa1813f9fa123544f69cfeac0dd1f&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0710552&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.18519&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-017\">Biggs, N. L., Lloyd, E. K., &amp; Wilson, R. J. (1976).\u00a0<i>Graph theory: 1736\u20131936<\/i>. Oxford: Clarendon Press.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99112207312205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.5 B484G1977.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0444418&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-018\">Birkhoff, G. D. (1913). The Reducibility of Maps.\u00a0<i>American Journal of Mathematics<\/i>,\u00a0<i>35<\/i>(2), 115\u2013128.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.2307\/2370276\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 AJ.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.538094&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-019\">Burger, E. B., &amp; Morgan, F. (1997). Fermat\u2019s Last Theorem, the Four Color Conjecture, and Bill Clinton for April Fools\u2019 Day.\u00a0<i>The American Mathematical Monthly<\/i>,\u00a0<i>104<\/i>(3), 246\u2013255.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.2307\/2974790\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 AM.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.3560288&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-020\">Chartrand, G., &amp; Lesniak, L. (2005).\u00a0<i>Graphs &amp; digraphs<\/i>\u00a0(4th ed.). Boca Raton:\u00a0Chapman &amp; Hall\/CRC.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99496414012205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.5 C385G2005.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR2107429&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-021\">Dailey, D. P. (1980). Uniqueness of colorability and colorability of planar 4-regular graphs are NP-complete.\u00a0<i>Discrete Mathematics<\/i>,\u00a0<i>30<\/i>(3), 289\u2013293.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"It is shown that two sorts of problems belong to the NP-complete class. First, it is proven that for a given \u03ba-colorable graph and a given \u03ba-coloring of that graph, determining whether the graph is or is not uniquely \u03ba-colorable is NP-complete. Second, a result by Garey, Johnson, and Stockmeyer is extended with a proof that the coloring of four-regular planar graphs is NP-complete.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a> <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1016\/0012-365X(80)90236-8\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 DI.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-0344351687&amp;origin=inward&amp;txGid=60ce5f367f1332ba6c34be2a184b0e4e&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.523850&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-023\">Dirac, G. A., &amp; Stojakovi\u0107, M. D. (1960).\u00a0<i>Problem \u010detiri boje\u00a0<\/i>(Vol. 16). Beograd: Katedra za matematiku Elektrotehnic\u030ckog fakulteta univerziteta u Beogradu.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9951960212205899\nGet It\n\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.6 D62P.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0120649&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-024\">Dowek, G., Guillot, P., &amp; Roman, M. (2015). <em>Computation, proof, machine: Mathematics enters a new age<\/em> (1st ed.). New York, NY: Cambridge University Press. <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Computation is revolutionizing our world, even the inner world of the \u201cpure\u201d mathematician. Mathematical methods \u2013 especially the notion of proof\u2013that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. Computation, calculation, algorithms \u2013 all have played an important role in mathematical progress from the beginning \u2013 but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation ...\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a> <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1017\/CBO9781139026581\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 510.9 D753c.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-84953232404&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;st1=Computation%2c+proof%2c+machine%3a+mathematics+enters+a+new+age+&amp;st2=&amp;sid=ce8e2633ced4c665eaaf53a0a2756c2c&amp;sot=b&amp;sdt=b&amp;sl=73&amp;s=TITLE-ABS-KEY%28Computation%2c+proof%2c+machine%3a+mathematics+enters+a+new+age+%29&amp;relpos=0&amp;citeCnt=1&amp;searchTerm&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.8039731&quot;&gt;Library Catalog Record - E-Resource&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.7791021&quot;&gt;Library Catalog Record - Print Copy&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-025\">Dynkin, E. B., &amp; Uspenski, W. A. (1979). Mathematische Unterhaltungen: Aufgaben u\u0308ber das Mehrfarbenproblem, aus der Zahlentheorie und der Wahrscheinlichkeitsrechnung.\u00a0Ko\u0308ln:\u00a0Aulis Verlag Deubner.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma997160312205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.6 D993M:G.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0576573&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-026\">Errera, A. (1927). Expos\u00e9 historique du probl\u00e8me des quatre couleurs.\u00a0<i>Periodico di Matematiche. IV. Serie<\/i>,\u00a0<i>7<\/i>, 20\u201341.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9956216912205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 514 ER7E.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/zbmath.org\/?q=Expose%CC%81+historique+du+proble%CC%80me+des+quatre+couleurs&quot;&gt;zbMATH&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-030\">Fritsch, R. (1994). <em>Der Vierfarbensatz: Geschichte, topologische Grundlagen, und Beweisidee. <\/em>Mannheim:\u00a0B.I.-Wissenschaftsverlag.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99369373412205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 514 F918V.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR1270673&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-031\">Fritsch, R., &amp; Fritsch, G. (1998).\u00a0<i>The Four-Color Theorem:\u00a0History, Topological Foundations, and Idea of Proof<\/i>. New York, NY: Springer New York.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1007\/978-1-4612-1720-6\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 514 F918v:E.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.7841187&quot;&gt;Library Catalog Record - E-Resource&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.4100061&quot;&gt;Library Catalog Record - Print Copy&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-032\">Gonthier, G. (2008). Formal Proof \u2013 The Four-Color Theorem. <em>Notices of the American Mathematical Society,\u00a055<\/em>(11), 1382\u20131393.\u00a0<a href=\"https:\/\/www.ams.org\/notices\/200811\/tx081101382p.pdf\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.6 AMN.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=2463991&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.137577&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-033\">Guthrie, F. (1880). 9. Note on the Colouring of Maps. In\u00a0<i>Proceedings of the Royal Society of Edinburgh<\/i>,\u00a0<i>10<\/i>, 727\u2013728.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1017\/S0370164600044631\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 506 REP.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.2569496&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-034\">Hadwiger, H. (1943). \u00dcber eine Klassifickation der Strekenkomplexe. In <em>Vierteljahrsschrift der Naturforschenden Gesellschaft in Z\u00fcrich<\/em> (Vol. 88).\u00a0Zu\u0308rich:\u00a0Fa\u0308si &amp; Beer.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99126330312205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Oak Street Library 506 ZU.\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-035\">Haken, W. (1977). An attempt to understand the four color problem. <em>Journal of Graph Theory, 1<\/em>(3), 193-206. <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Is the recently obtained, computer\u2010aided proof of the Four Color Theorem an isolated phenomenon or is its combinatorial complexity typical for a significantly large class of mathematical problems? While it is too early to give a definite answer to this question, an informal discussion is undertaken in this article.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a> <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1002\/jgt.3190010304\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 511.505 JO.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-84926406020&amp;origin=inward&amp;txGid=503af0e0c2c5756ac04d41bd0b960929&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.90192&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-036\">Haken, W. (1980). Combinatorial aspects of some mathematical problems. In <em>Proceedings of the International Congress of Mathematicians <\/em>(pp. 953\u2013961). Toronto:\u00a0University of Toronto Press.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99336478312205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.6 INT.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR562712&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-037\">Heawood, P. J. (1890). Map-colour theorem.\u00a0<i>The Quarterly Journal of Pure and Applied Mathematics<\/i>,\u00a0<i>24<\/i>, 332\u2013338.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9952666312205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 QU.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/zbmath.org\/?q=an%3A22.0562.02&quot;&gt;zbMATH&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-038\">Heawood, P. J. (1949). Map-colour theorem.<i>\u00a0Proceedings of the London Mathematical Society,\u00a0<\/i><i>2<\/i>(51), 161-175.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1112\/plms\/s2-51.3.161\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.6 LMSER.2.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-84963089152&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;sid=1591e4a7e25802ee6667a38607d76ac6&amp;sot=a&amp;sdt=a&amp;sl=51&amp;s=AUTHLASTNAME%28Heawood%29+AND+TITLE%28Map-colour+theorem%29&amp;relpos=0&amp;citeCnt=5&amp;searchTerm&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=0030735&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.117831&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-039\">Heesch, H. (1969).\u00a0<i>Untersuchungen zum Vierfarbenproblem<\/i>\u00a0(Vol. 810). Mannheim:\u00a0Bibliographisches Institut.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9951924512205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.64 H36U.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0248048&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-040\">Hitotsumatsu, S. (1978).\u00a0<i>Shishiki mondai: sono tanj\u014d kara kaiketsu made.\u00a0<\/i>To\u0304kyo\u0304:\u00a0Ko\u0304dansha, cSho\u0304wa 53.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99247770212205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Oak Street Library (request online) QA612.19 .H57X.\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-041\">Hudson, H. (2003). Four Colors Do Not Suffice.\u00a0<i>The American Mathematical Monthly<\/i>,\u00a0<i>110<\/i>(5), 417\u2013423.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.2307\/3647828\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Oak Street BTAA Shared Print Repository (non-circulating) 510.5 AM.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-0037648651&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;sid=b2ef7990f48a2e47fa9c0f3a63a07742&amp;sot=a&amp;sdt=a&amp;sl=33&amp;s=TITLE%28Four+colors+do+not+suffice%29&amp;relpos=0&amp;citeCnt=4&amp;searchTerm&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.3560288&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-042\">Kauffman, L. H. (1994).\u00a0Spin networks, topology and discrete physics. In Yang, C. N., &amp; Ge, M. L. (Eds.),\u00a0<i>Braid group, knot theory and statistical mechanics. II<\/i>\u00a0(Vol. 17, pp. <span class=\"nbp\">234\u2013274<\/span>). River Edge, NJ: World Scientific Publishing Co., Inc.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"This paper discusses combinatorial recoupling theory and generalisations of spin recoupling theory, first in relation to the vector cross product algebra and a reformulation of the Four Color Theorem, and secondly in relation to the Temperley Lieb algebra, Spin Networks, the Jones polynomial and the SU(2) 3-Manifold invariants of Witten, Reshetikhin and Turaev. We emphasize the roots of these ideas in the Penrose theory of spin networks.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99367444412205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 514.224 B7311994.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1142\/9789812798275_0009&quot;&gt;World Scientific&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=1338596&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-043\">Koch, J. A. (1976). <em>Computation of four color irreducibility<\/em>. Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign. <a href=\"http:\/\/hdl.handle.net\/2142\/66386\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Oak Street Library (request online) 511.6 K81C.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/hdl.handle.net\/2027\/uiuo.ark:\/13960\/t4mk7tw12&quot;&gt;HathiTrust Digital Library&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/archive.org\/details\/computationoffou802koch&quot;&gt;Internet Archive&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.555136&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-045\">May, K. O. (1965). The Origin of the Four-Color Conjecture.\u00a0<i>Isis<\/i>,\u00a0<i>56<\/i>(3), 346\u2013348.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1086\/350003\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Oak Street Library 505 ISI.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=http:\/\/www.jstor.org\/stable\/228109&quot;&gt;JSTOR - Full-text&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.3692072&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-047\">Mayer, J. (1974).\u00a0<i>Nouvelles r\u00e9duction dans le probl\u00e8me des quatre couleurs<\/i>. Montpellier:\u00a0Universite\u0301 des sciences et techniques du Languedoc, U. E. R. de mathe\u0301matiques.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9917709112205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"MathQ. 511.6 M452N .&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0382055&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-048\">Nash-Williams, C. S. J. A. (1967). Infinite graphs \u2013 A survey.\u00a0<i>Journal of Combinatorial Theory<\/i>,\u00a0<i>3<\/i>(3), 286\u2013301.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"This expository article describes work which has been done on various problems involving infinite graphs, mentioning also a few unsolved problems or suggestions for future investigation.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1016\/S0021-9800(67)80077-2\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 511.605 JO.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-8844276124&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;st1=Infinite+graphs-A+survey&amp;st2=&amp;sid=b7594660e16c30cdf609f69608cac5c5&amp;sot=b&amp;sdt=b&amp;sl=39&amp;s=TITLE-ABS-KEY%28Infinite+graphs-A+survey%29&amp;relpos=4&amp;citeCnt=38&amp;searchTerm=&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.557462&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-049\">Nelson, R., &amp; Wilson, R. (1990).\u00a0<i>Graph colourings<\/i>. Essex, England:\u00a0Longman.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99362603712205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 512.55 G767.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1017\/S0025557200147990&quot;&gt;Cambridge Core&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-050\">Ore, \u00d8. (1967).\u00a0<i>The four-color problem<\/i>.\u00a0New York-London: Academic Press. <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1016\/S0079-8169(08)61717-1\">Full-text available online<\/a> (subscription required).\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 514 OR3F.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/zbmath.org\/?q=an%3A0149.21101&quot;&gt;zbMATH&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.719527&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-051\">Osgood, T. W. (1973).\u00a0<i>An Existence Theorem for Planar Triangulations With Vertices of Degree Five, Six, and Eight<\/i>. University of Illinois at Urbana-Champaign.\u00a0<a href=\"https:\/\/www.ideals.illinois.edu\/handle\/2142\/64855\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.5 OS2E.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.559180&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-052\">Robertson, N., Sanders, D., Seymour, P., &amp; Thomas, R. (1997). The Four-Colour Theorem.\u00a0<i>Journal of Combinatorial Theory, Series B<\/i>,\u00a0<i>70<\/i>(1), 2\u201344.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"The four-colour theorem, that every loopless planar graph admits a vertex-colouring with at most four different colours, was proved in 1976 by Appel and Haken, using a computer. Here we give another proof, still using a computer, but simpler than Appel and Haken&#039;s in several respects.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1006\/jctb.1997.1750\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 511.605 JOB.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-0031146074&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;sid=1af679ad5b526f44740c29775e368213&amp;sot=a&amp;sdt=a&amp;sl=58&amp;s=AUTHLASTNAME%28Robertson%29+AND+TITLE%28The+four-colour+theorem%29&amp;relpos=0&amp;citeCnt=278&amp;searchTerm&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.557297&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-053\">Saaty, T. L., &amp; Kainen, P. C. (1986).\u00a0<i>The four-color problem:\u00a0assaults and conquest.\u00a0<\/i>New York :\u00a0Dover Publications.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99107478512205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.5 SA12F1986.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0863420&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-054\">Stewart, I. (2013). <em>Visions of Infinity: The Great Mathematical Problems<\/em>. New York, NY:\u00a0Basic Books.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99718303112205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 510 St494v\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-055\">Swart, E. R. (1980). The Philosophical Implications of the Four-Color Problem.\u00a0<i>The American Mathematical Monthly<\/i>,\u00a0<i>87<\/i>(9), 697\u2013707.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.2307\/2321855\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 AM.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.3560288&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-056\">Tait. (1880). 4. On the Colouring of Maps. In\u00a0<i>Proceedings of the Royal Society of Edinburgh<\/i>,\u00a0<i>10<\/i>, 501\u2013503.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1017\/S0370164600044229\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 506 REP.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.2569496&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-057\">Tait. (1880). 10. Remarks on the previous Communication. In\u00a0<i>Proceedings of the Royal Society of Edinburgh<\/i>,\u00a0<i>10<\/i>, 729\u2013729.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1017\/S0370164600044643\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 506 REP.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.2569496&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-058\">Thomas, J. M. (1971).\u00a0<i>The four color theorem<\/i>\u00a0(Rev. ed.).\u00a0Philadelphia.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9971982712205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Main Stacks 511.6 T364F1971.\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-059\">Thomas, J. M. (1977).\u00a0<i>The four color theorem<\/i>\u00a0(Final ed.).\u00a0Durham, N.C. <a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma9910750012205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.6 T364F.\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-060\">Thomas, R. (1998). An Update on the Four-Color Theorem.\u00a0<em>Notices of the American Mathematical Society, 45<\/em>(7), 848-859.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.ams.org\/journals\/notices\/199807\/index.html\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.6 AMN.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=1633714&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.137577&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-061\">Thomas, R. (1999). Recent excluded minor theorems for graphs. In\u00a0J. D. Lamb, &amp; D. A. Preece (Eds.),\u00a0<i>Surveys in combinatorics, 1999 <\/i>(Vol. 267, pp.\u00a0<span class=\"nbp\">201\u2013222<\/span>). New York:\u00a0Cambridge University Press.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99416775512205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 511.6 B777s1999.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR1724997&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-062\">Wernicke, P. (1904). \u00dcber den kartographischen Vierfarbensatz.\u00a0<i>Mathematische Annalen<\/i>,\u00a0<i>58<\/i>(3), 413\u2013426.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1007\/BF01444968\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.5 MH.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-0040889316&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;sid=b42c419c992f9eaa5e5401f56db748b1&amp;sot=a&amp;sdt=a&amp;sl=42&amp;s=AUTHLASTNAME%28Wernicke%29+AND+TITLE%28Uber+den%29&amp;relpos=0&amp;citeCnt=76&amp;searchTerm=&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.535077&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-063\">Wilson, J. (1976). New light on the origin of the four-color conjecture.\u00a0<i>Historia Mathematica<\/i>,\u00a0<i>3<\/i>(3), 329\u2013330.\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1016\/0315-0860(76)90106-3\">Full-text available online<\/a> (subscription required). <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math (non-circulating) 510.905 HI.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-27744556343&amp;origin=inward&amp;txGid=bc14271ac4c3729bcc99111dc7f836fe&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share.carli.illinois.edu\/vf-uiu\/Record\/UIUdb.18553&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-064\">Wilson, R. A. (2002).\u00a0<i>Graphs, colourings and the four-colour theorem<\/i>. Oxford: Oxford University Press.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99448341712205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math W691g.&lt;br \/&gt;\nSee also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1017\/S0025557200172572&quot;&gt;Cambridge Core&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR1888337&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/zbmath.org\/?q=Graphs%2C+colourings+and+the+four-colour+theorem&quot;&gt;zbMATH&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-065\">Wilson, R. J. (2002).\u00a0<i>Four colours suffice: how the map problem was solved.<\/i> Princeton, NJ: Princeton University Press.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99457945712205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Main Stacks 793.74 W691f.\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-066\">Wilson, R. J. (2014).\u00a0<i>Four colours suffice: how the map problem was solved.<\/i> Princeton, NJ: Princeton University Press.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99825251712205899\">Library Catalog Record<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Math 793.74 W691f2014.\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<\/ol>\n<h3 id=\"4CT-additional-items\"><strong>Additional Items:<\/strong><\/h3>\n<ol start=\"67\">\n<li id=\"4CT-067\">Allaire, F. R. (1977).\u00a0<i>On reducible configurations for the four colour problem<\/i>. Winnipeg, Manitoba.\u00a0Citation info available through\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/search.proquest.com\/docview\/302854767?accountid=14553\">ProQuest<\/a><\/li>\n<li id=\"4CT-068\">Allaire, F., &amp; Swart, E. R. (1978). A systematic approach to the determination of reducible configurations in the four-color conjecture.\u00a0<i>Journal of Combinatorial Theory, Series B<\/i>,\u00a0<i>25<\/i>(3), 339\u2013362. <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"Reducibility of configurations is determined by an algorithm programmed on a computer. The effectiveness of the program is improved after implementing results obtained by investigating the algebraic structure of the problem. A comprehensive list of reducible configurations up to the 10-ring level is tabled.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1016\/0095-8956(78)90010-2\">Full-text available online<\/a> (subscription required)\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-0010998868&amp;origin=inward&amp;txGid=f6b3c5029677300130eb1c699cd44f77&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0516267&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-069\">Appel, Kenneth, &amp; Haken, W. (1978). The Four-Color Problem. In\u00a0<i>Mathematics Today Twelve Informal Essays<\/i>\u00a0(pp. 153\u2013180). Springer, New York, NY.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"In 1976, the Four-Color Problem was solved: every map drawn on a sheet of paper can be colored with only four colors in such a way that countries sharing a common border receive different colors. This result was of interest to the mathematical community since many mathematicians had tried in vain for over a hundred years to prove this simple-sounding statement. Yet among mathematicians who were not aware of the developments leading to the proof, the outcome had rather dismaying aspects, for the proof made unprecedented use of computer computation; the correctness of the proof cannot be checked without the aid of a computer. Moreover, adding to the strangeness of the proof, some of the crucial ideas were perfected by ...\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1007\/978-1-4613-9435-8_7\">Full-text available online<\/a>\u00a0(subscription required) <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma994145612205899&quot;&gt;Library Catalog Record&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-070\">Bigalke, H.-G. (1988).\u00a0<i>Heinrich Heesch: Kristallgeometrie, Parkettierungen, Vierfarbenforschung<\/i>. Basel: Birkhauser.\u00a0<a href=\"https:\/\/i-share-uiu.primo.exlibrisgroup.com\/permalink\/01CARLI_UIU\/gpjosq\/alma99155809312205899\">Library Catalog Record<\/a><\/li>\n<li id=\"4CT-071\">Fritsch, R. (1990). Wie wird der Vierfarbensatz bewiesen?\u00a0<i>Der Mathematische Und Naturwissenschaftliche Unterricht<\/i>, (43), 80\u201387. <a href=\"https:\/\/epub.ub.uni-muenchen.de\/4523\/\">Full-text available online<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/zbmath.org\/?q=Wie+wird+der+Vierfarbensatz+bewiesen+Der+Mathematische+Und+Naturwissenschaftliche+Unterricht&quot;&gt;zbMATH&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-072\">Gonthier, G. (2005).\u00a0<i>A computer-checked proof of the four colour theorem<\/i>.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"This report gives an account of a successful formalization of the proof of the Four Colour Theorem, which was fully checked by the Coq v7.3.1 proof assistant (13). This proof is largely based on the mixed mathematics\/computer proof (26) of Robertson et al, but contains original contributions as well. This document is organized as follows: section 1 gives a historical introduction to the problem and positions our work in this setting; section 2 defines more precisely what was proved; section 3 explains the broad outline of the proof; section 4 explains how we exploited the features of the Coq assistant to conduct the proof, and gives a brief description of ...\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"https:\/\/www.semanticscholar.org\/paper\/A-computer-checked-proof-of-the-Four-Colour-Theorem-Gonthier\/344a9ed742b650401a02e1a344827751211986af?tab=abstract\">Full-text available online<\/a><\/li>\n<li id=\"4CT-073\">Robertson, N., Sanders, D. P., Seymour, P., &amp; Thomas, R. (1996). A new proof of the four-colour theorem.\u00a0<i>Electronic Research Announcements of the American Mathematical Society<\/i>,\u00a0<i>2<\/i>(1), 17\u201325. <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"The four-colour theorem, that every loopless planar graph admits a vertex-colouring with at most four different colours, was proved in 1976 by Appel and Haken, using a computer. Here we announce another proof, still using a computer, but simpler than Appel and Haken&#039;s in several respects.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a> <a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1090\/S1079-6762-96-00003-0\">Full-text available online<\/a> (subscription required)\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR1405965&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/zbmath.org\/?q=an%3A0865.05039&quot;&gt;zbMATH&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-074\">Robertson, N., Sanders, D. P., Seymour, P., &amp; Thomas, R. (1997).\u00a0<i>Discharging cartwheels<\/i>. <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"In (J. Combin. Theory Ser. B 70 (1997), 2-44) we gave a simplified proof of the Four-Color Theorem. The proof is computer-assisted in the sense that for two lemmas in the article we did not give proofs, and instead asserted that we have verified those statements using a computer. Here we give additional details for one of those lemmas, and we include the original computer programs and data as &quot;ancillary files&quot; accompanying this submission.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"https:\/\/arxiv.org\/abs\/1401.6485v1\">Full-text available online<\/a><\/li>\n<li id=\"4CT-075\">Robertson, N., Sanders, D. P., Seymour, P., &amp; Thomas, R. (1997).\u00a0<i>Reducibility in the Four-Color Theorem<\/i>. <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"In (J. Combin. Theory Ser. B 70 (1997), 2-44) we gave a simplified proof of the Four-Color Theorem. The proof is computer-assisted in the sense that for two lemmas in the article we did not give proofs, and instead asserted that we have verified those statements using a computer. Here we give additional details for one of those lemmas, and we include the original computer programs and data as &quot;ancillary files&quot; accompanying this submission.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"https:\/\/arxiv.org\/abs\/1401.6481\">Full-text available online<\/a>\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR2626882&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/search.proquest.com\/docview\/302854767?accountid=14553&quot;&gt;ProQuest\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/a><\/li>\n<li id=\"4CT-076\">Steinberger, J. (2010). An unavoidable set of ?-reducible configurations.\u00a0<i>Transactions of the American Mathematical Society<\/i>,\u00a0<i>362<\/i>(12), 6633\u20136661. <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"We give a new proof of the four-color theorem by exhibiting an unavoidable set of 2822 ?-reducible configurations. The existence of such a set had been conjectured by several researchers including Stromquist (1975), Appel and Haken (1977), and Robertson, Sanders, Seymour and Thomas (1997).\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/doi.org\/10.1090\/S0002-9947-2010-05092-5\">Full-text available online<\/a>\u00a0(subscription required) <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.jstor.org\/stable\/40997219?seq=1#page_scan_tab_contents&quot;&gt;JSTOR - Full text&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-78650292585&amp;origin=inward&amp;txGid=29a62d3ec95cb4d2a666adfd1800afc9&quot;&gt;Scopus ciation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR2678989&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/zbmath.org\/?q=An+unavoidable+set+of+D-reducible+configurations&quot;&gt;zbMATH&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/arxiv.org\/abs\/0905.0043&quot;&gt;arXiv.org&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-078\">Stromquist, W. R. (1975).\u00a0<i>Some Aspects of the Four Color Problem<\/i>. Ann Arbor. <a href=\"http:\/\/walterstromquist.com\/papers\/thesis.pdf\">Full-text available online<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR2940609&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/search.proquest.com\/docview\/302781374&quot;&gt;ProQuest\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/a><\/li>\n<li id=\"4CT-079\">Tymoczko, T. (1979). The Four-Color Problem and Its Philosophical Significance.\u00a0<i>The Journal of Philosophy<\/i>,\u00a0<i>76<\/i>(2), 57\u201383.\u00a0<a href=\"https:\/\/www.pdcnet.org\/jphil\/content\/jphil_1979_0076_0002_0057_0083\">Full-text available online<\/a> <a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.jstor.org\/stable\/2025976?&amp;seq=1#page_scan_tab_contents&quot;&gt;JSTOR - Full text&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR900161&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-080\">Whitney, H., &amp; Tutte, W. T. (1972). Kempe Chains and the Four Colour Problem. In\u00a0<i>Hassler Whitney Collected Papers<\/i>\u00a0(pp. 185\u2013225). Birkh\u00e4user Boston.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"In October 1971 the combinatorial world was swept by the rumour that the notorious Four Colour Problem had at last been solved, - that with the help of a computer it had been demonstrated that any map in the plane can be coloured with at most four - colours so that no two countries with a common boundary line are given the same colour.\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a> <a href=\"https:\/\/doi.org\/10.1007\/978-1-4612-2972-8_13\">Full-text available online<\/a> (subscription required)\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR0309782&quot;&gt;MathSciNet&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;https:\/\/zbmath.org\/?q=an%3A0253.05120&quot;&gt;zbMATH&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<li id=\"4CT-081\">Wilson, R. (2016). Wolfgang Haken and the four-color problem.\u00a0<i>Illinois Journal of Mathematics<\/i>,\u00a0<i>60<\/i>(1), 149\u2013178.\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"In 1852, Augustus De Morgan, Professor of Mathematics at University College, London, was asked: Can every map be colored with just four colors in such a way that neighboring countries are colored differently? Over a century later, in a controversial proof that made substantial use of a computer, Wolfgang Haken and Kenneth Appel of the University of Illinois answered the question in the affirmative. But how did Haken come to be involved with the problem, and what was his role in its solution?\" data-trigger=\"hover focus\" title=\"Abstract\" data-html=\"true\"><span class=\"fa fa-question-circle\" aria-hidden=\"true\" ><\/span><\/a>\u00a0<a href=\"http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/projecteuclid-org.proxy2.library.illinois.edu\/euclid.ijm\/1498032028\">Full-text available online<\/a>\u00a0(subscription required)\u00a0<a tabindex=\"0\" data-toggle=\"popover\" data-content=\"See also:&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/www.scopus.com\/record\/display.uri?eid=2-s2.0-85021210437&amp;origin=resultslist&amp;sort=plf-f&amp;src=s&amp;st1=Wolfgang+Haken+and+the+four-color+problem&amp;st2=&amp;sid=1a7b3fe8b897bd80b65b85e6e7a69b1f&amp;sot=b&amp;sdt=b&amp;sl=56&amp;s=TITLE-ABS-KEY%28Wolfgang+Haken+and+the+four-color+problem%29&amp;relpos=1&amp;citeCnt=0&amp;searchTerm=&quot;&gt;Scopus citation&lt;\/a&gt;&lt;br \/&gt;\n&lt;a href=&quot;http:\/\/www.library.illinois.edu\/proxy\/go.php?url=https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=MR3665176&quot;&gt;MathSciNet&lt;\/a&gt;\" data-trigger=\"hover focus\" title=\"More Info\" data-html=\"true\"><span class=\"fa fa-info-circle\" aria-hidden=\"true\" ><\/span><\/a><\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>Print and online copies Items on Display: Aigner, M. (1984).\u00a0Graphentheorie: eine Entwicklung aus dem 4-Farben Problem.\u00a0Stuttgart:\u00a0B.G. Teubner.\u00a0Library Catalog Record Aigner, M. (1987).\u00a0Graph theory: a development from the 4-color problem.\u00a0Moscow, ID: BCS Associates.\u00a0Library Catalog Record Allaire, F. (1978). Another proof of the four colour theorem. I. In Proceedings of the Seventh Manitoba Conference on Numerical Mathematics [&hellip;]<\/p>\n","protected":false},"author":296,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-1713","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/wordpress.library.illinois.edu\/mtx\/wp-json\/wp\/v2\/pages\/1713","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wordpress.library.illinois.edu\/mtx\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wordpress.library.illinois.edu\/mtx\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wordpress.library.illinois.edu\/mtx\/wp-json\/wp\/v2\/users\/296"}],"replies":[{"embeddable":true,"href":"https:\/\/wordpress.library.illinois.edu\/mtx\/wp-json\/wp\/v2\/comments?post=1713"}],"version-history":[{"count":24,"href":"https:\/\/wordpress.library.illinois.edu\/mtx\/wp-json\/wp\/v2\/pages\/1713\/revisions"}],"predecessor-version":[{"id":4001,"href":"https:\/\/wordpress.library.illinois.edu\/mtx\/wp-json\/wp\/v2\/pages\/1713\/revisions\/4001"}],"wp:attachment":[{"href":"https:\/\/wordpress.library.illinois.edu\/mtx\/wp-json\/wp\/v2\/media?parent=1713"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}