Lecture Notes in Computer Science# SWiM – A Semantic Wiki for Mathematical Knowledge Management

**Abstract:** 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 formali…

Help me understand this report

View preprint versions

Search citation statements

Paper Sections

Select...

2

1

1

1

Citation Types

0

11

0

Publication Types

Select...

5

1

Relationship

0

6

Authors

Journals

(11 citation statements)

0

11

0

“…Initial submissions can be verified or marked as sketches to be fully formalised later. Other mathematical web applications, such as the semantic wiki SWiM [38] and the document reader panta rhei [45], are not integrated with proof assistants but work with a central repository of mathematical knowledge represented in OpenMath [50] and OMDoc [35].…”

confidence: 99%

“…Initial submissions can be verified or marked as sketches to be fully formalised later. Other mathematical web applications, such as the semantic wiki SWiM [38] and the document reader panta rhei [45], are not integrated with proof assistants but work with a central repository of mathematical knowledge represented in OpenMath [50] and OMDoc [35].…”

confidence: 99%

“…The semantic Wiki SWiM [Lan08] integrates the central libraries JOMDoc and JOBAD to handle and adapt mathematical notations. In fact, the developer of SWiM, Christoph Lange, is strongly involved in the implementation of both components.…”

confidence: 99%

“…Moreover, workflows have been developed that allow to generate either format [W3C03,Ope07] from various scientific editor: LaTeXML [Mil07] allows to generate the respective XML from L A T E X. Editors of several web-based (authoring and E-Learning) environments, such as Sentido [GP06], MathDox [CCK + 08], ActiveMath [MS04], ConneXions [HBK03], and SWiM [Lan08], produce MathML and OpenMath, respectively. In addition, several mathematical computation systems provide an import & export from and to the two standards.…”

confidence: 99%

“…Concretely, we have extended the semantic T E X system S T E X [Koh06a] by PhysML functionality. For more choice in invasive editors, we will extend the OMDoc wiki system [LK06] and the PowerPoint plugin for OMDoc [KK04] to PhysML.…”

confidence: 99%