[isabelle] Paper on Proof of Kepler Conjecture

We are pleased to announce this new paper:

Flyspeck I: Tame Graphs
Tobias Nipkow, Gertrud Bauer, Paula Schultz

We present a verified enumeration of tame graphs as defined in Hales' proof
of the Kepler Conjecture and confirm the completeness of Hales' list of all
tame graphs while reducing it from 5128 to 2771 graphs.


As usual, comments are most welcome.


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