SWiM -- A Semantic Wiki for Mathematical Knowledge Management

12 years 3 months ago
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 ...
Christoph Lange 0002
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Christoph Lange 0002
Comments (0)