Lecture Notes in Computer Science, 2008, Volume 5021/2008, 832-837, DOI: 10.1007/978-3-540-68234-9_68

SWiM – A Semantic Wiki for Mathematical Knowledge Management

Christoph Lange

View Related Documents

Abstract

SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. SWiM is currently being used for authoring content dictionaries, i. e. collections of uniquely identified mathematical symbols, and prepared for managing a large-scale proof formalisation effort.

Fulltext Preview

Image of the first page of the fulltext document