SWiM: A Semantic Wiki for Mathematical Knowledge Management
Note: SWiM is no longer maintained. Some of its design principles and technical building blocks continue to exist in the Planetary eMath 3.0 system. The final state of documentation of SWiM can be found in Christoph Lange's Ph.D. thesis. These pages are kept just for archival purposes. The mailing list is still in use, if you have, for example, questions about alternatives to SWiM.
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. It 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 and a documentation of current on-goings in the SWiM project and related projects. The latter can also be found on the KWARC research blog.
An online demo is available.