A non-constructive proof of the Four Colour Theorem

D. M. Jackson, L. B. Richmond

The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${}_3{F}_2$ hypergeometric seri…