Flyspeck in a Semantic Wiki: Collaborating in a Large Scale Formalization of the Kepler Conjecture (2008)

by C Lange, S McLaughlin, F Rabe
Venue:In Proceedings of Workshop on Semantic Wiki SemWiki2008, held at ESWC2008