Flyspeck in a semantic wiki collaborating on a large scale formalization of the kepler conjecture
|Flyspeck in a semantic wiki collaborating on a large scale formalization of the kepler conjecture|
|Author(s)||Lange C., McLaughlin S., Rabe F.|
|Published in||CEUR Workshop Proceedings|
|Keyword(s)||Unknown (Extra: Collaborative authoring, Concrete applications, Mathematical knowledge, Mathematical knowledge management, MediaWiki, Semantic markup, Semantic wiki, Semantic Wikis, Knowledge based systems, Knowledge management, Markup languages, Websites)|
|Article||BASE, CiteSeerX, Google Scholar|
|Web||Ask, Bing, Google (PDF), Yahoo!|
|Download and mirrors|
|Local copy||Not available|
|Remote mirror(s)||Not available|
|Export and share|
|BibTeX, CSV, RDF, JSON|
|Browse properties · List of conference papers|
Flyspeck in a semantic wiki collaborating on a large scale formalization of the kepler conjecture is a 2008 conference paper written in English by Lange C., McLaughlin S., Rabe F. and published in CEUR Workshop Proceedings.
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.
- This section requires expansion. Please, help!
Probably, this publication is cited by others, but there are no articles available for them in WikiPapers.