Coloring count cones of planar graphs

Zdeněk Dvořák, Bernard Lidický

This page contains computer assisted parts of the paper Coloring count cones of planar graphs.

A preliminary version of the paper can be downloaded here or from arXiv.

Here, you can download the technical things as one archive

It is also possible to download programs needed to perform the calculation from arXiv. Not the proof of course.


Description of the content of