Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,General Mathematics
Reference13 articles.
1. F. Allaire, Another proof of the Four Colour Theorem I, Proc. of the Seventh Manitoba Conference on Numerical Mathematics and Computing, Univ. Manitoba, Winnipeg, Man., 1977, pp. 3–72.
2. F. Allaire and E. R. Swart, A systematic approach to the determination of reducible configurations in the four-color conjecture, J. Combinatorial Theory(B)25(1978), pp. 339–362.
3. K. Appel and W. Haken, Every planar map is four colorable Part I: Discharging, Illinois J. Math.,21(1977), pp. 429–490.
4. K. Appel, W. Haken and J. Koch, Every planar map is four colorable Part II: Reducibility, Illinois J. Math.21(1977), pp. 491–567.
5. K. Appel and W. Haken, The solution of the four-color-map problem, Scientific American, September 1977, pp. 108–121.
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Algebra as a Semiotic Modeling System;Mathematics for Social Sciences and Arts;2023
2. Ingenuity;Poetic Logic and the Origins of the Mathematical Imagination;2023
3. Ugliness Is in the Gut of the Beholder;Ergo an Open Access Journal of Philosophy;2022-12-28
4. Outsiders enabling scientific change: learning from the sociohistory of a mathematical proof;Social Epistemology;2017-02-23
5. Formally Proving Size Optimality of Sorting Networks;Journal of Automated Reasoning;2017-02-01