SWiM -- A Semantic Wiki for Mathematical Knowledge Management

Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific 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. 1 Research Background and Application Context: Mathematical Knowledge Management A great deal of scientific work consists of collaboratively authoring documents-taking down first hypotheses, commenting on results of experiments, circulating informal drafts inside a working group, and structuring, annotating, or reorganising existing items of knowledge, finally leading to the publication of a well-structured article or book. Here, we particularly focus on the domain ...

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Christoph Lange 0002
• Keywords: CORR 2010, Education, Mathematical Knowledge, Semantic Markup Languages, Structural Semantic Markup