Sciweavers

Share
SEMWIKI
2008

Flyspeck in a Semantic Wiki

8 years 3 months ago
Flyspeck in a Semantic Wiki
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific 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-specific semantic wiki SWiM. 1 Scientific Communication and the Flyspeck Project Spiral The Creativity Compute/ Experiment Specify/ Formalize Prove Visualize Conje...
Christoph Lange 0002, Sean McLaughlin, Florian Rab
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where SEMWIKI
Authors Christoph Lange 0002, Sean McLaughlin, Florian Rabe
Comments (0)
books