# [isabelle] New AFP entry: A Probabilistic Proof of the Girth-Chromatic Number Theorem

*To*: Isabelle Users <isabelle-users at cl.cam.ac.uk>
*Subject*: [isabelle] New AFP entry: A Probabilistic Proof of the Girth-Chromatic Number Theorem
*From*: Tobias Nipkow <nipkow at in.tum.de>
*Date*: Mon, 06 Feb 2012 16:35:17 +0100
*User-agent*: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:9.0) Gecko/20111222 Thunderbird/9.0.1

A Probabilistic Proof of the Girth-Chromatic Number Theorem
Lars Noschinski
This works presents a formalization of the Girth-Chromatic number
theorem in graph theory, stating that graphs with arbitrarily large
girth and chromatic number exist. The proof uses the theory of Random
Graphs to prove the existence with probabilistic arguments.
http://afp.sourceforge.net/entries/Girth_Chromatic.shtml
Enjoy!

*This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.*