Four color theorem from three points of view
-
Published:2016-01-01
Issue:1
Volume:60
Page:
-
ISSN:0019-2082
-
Container-title:Illinois Journal of Mathematics
-
language:
-
Short-container-title:Illinois J. Math.
Author:
Matiyasevich Yuri
Publisher
Duke University Press
Subject
General Mathematics
Reference32 articles.
1. N. Alon and M. Tarsi, Colorings and orientations of graphs, Combinatorica 12 (1992), 125–134.
2. K. Appel and W. Haken, Every planar map is four colorable, I. Discharging, Illinois J. Math. 21 (1977), 429–490.
3. K. Appel, W. Haken and J. Koch, Every planar map is four colorable, II. Reducibility, Illinois J. Math. 21 (1977), 491–567.
4. K. Appel and W. Haken, With the collaboration of J. Koch, Every planar map is four-colorable, Contemporary math., vol. 98, Amer. Math. Soc., Providence, RI, 1989, xvi+741 pp.
5. M. Davis, Arithmetical problems and recursively enumerable predicates, J. Symbolic Logic 18 (1953), 33–41.