[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