| Home |
| About |
| Submission Guidelines |
| Search |
| Download |
project summary
Flyspeck I: Tame Graphs
| Title: | Flyspeck I: Tame Graphs |
| Author: | Gertrud Bauer and Tobias Nipkow |
| Submission date: | 2006-05-22 |
| Abstract: | These theories present the verified enumeration of tame plane graphs as defined by Thomas C. Hales in his proof of the Kepler Conjecture. For explanations see the IJCAR 2006 paper by Nipkow, Bauer and Schultz. |
|
Proof outline Proof document |
| Browse theories |
| Download this entry |
Older releases:
|