Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture

user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231494670 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231494670 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are
particularly appropriate for scientiﬁc and mathematical collaboration.
In previous work we described an ontology for mathematical knowledge
based on the semantic markup language OMDoc and a semantic wiki using both. We are now evaluating these technologies in concrete application
scenarios. In this paper we evaluate the applicability of our infrastructure
to mathematical knowledge management by focusing on the Flyspeck
project, a formalization of Thomas Hales’ proof of the Kepler Conjecture.
After describing the Flyspeck project and its requirements in detail, we
evaluate the applicability of two wiki prototypes to Flyspeck, one based on
Semantic MediaWiki and another on our mathematics-speciﬁc semantic
wiki SWiM.

Publication_details:

Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel: 3rd Workshop on Semantic Wikis, European Semantic Web Conference 2008

Author(s):

Christoph Lange, Sean McLaughlin, Florian Rabe

Nature:

Conference paper

Date:

2008/06/02

URL:

http://kwarc.info/projects/swim/pubs/flyspeck-wiki-eswc08.pdf

Partner_node:

Jacobs University