SWiM: A Semantic Wiki for Mathematical Knowledge Management

SWiM is a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge base. Its pages, containing mathematical theories, are stored in OMDoc, a markup format for mathematical knowledge. Our long-term objective is to develop a software that facilitates the creation of a shared, public collection of mathematical knowledge (e.g. for education) and serves work groups of mathematicians as a tool for collaborative development of new theories.

The implementation of SWiM, based on IkeWiki, is currently in a prototype stage. SWiM is available for download under the GNU GPL. Bugs and to-dos are documented in our issue tracker. See the MathWeb wiki for instructions about downloading a documentation of current on-goings in the SWiM project and related projects.

An online demo is available, and you can see SWiM in production use at wiki.openmath.org, where it is used for revising the OpenMath 3 content dictionaries. Please contact Christoph Lange if the demo should not work.