SWiM – A Semantic Wiki for Mathematical Knowledge Management

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.

Publication_details: 
European Semantic Web Conference, Demo track; June 2008; Proceedings editors: Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis; Lecture Notes in Computer Science, Springer
Author(s): 
Christoph Lange
Tipo: 
Conference paper
Date: 
2008/06/03
Partner_node: 
Jacobs University