SWiM

SWiM is a instance of::semantic wiki for mathematical knowledge management. It is being developed by Christoph Lange.

Current Prototype
The current prototype is, technically, based on::IkeWiki with edits::OMDoc as its page format. IkeWiki is implemented written in::Java using Java Server Pages.

Releases
… are available on the KWARC homepage (for users) and in a Subversion repository (for developers; see bottom of the page for the URL).


 * 0.1:based on IkeWiki 0.9.1; the state after my diploma thesis, with a few minor bugfixes (download). Subversion tag 0.1 created from release 114 in the KWARC repository.  This branch is world-readable; ask me if you would like to have write access.
 * 0.2:based on IkeWiki 2.0rc7; featuring a completely new user interface, MathML-3-compliant notation definitions for mathematical symbols, and easier editing of mathematical documents. Subversion tag 0.2 created from release 2033 in the old IkeWiki repository.  The sources are no longer publicly available in the repository, but a static archival copy can be found on the download page.
 * trunk:based on the IkeWiki trunk. The trunk is world-readable.

Installation instructions

Extension towards science
SWiM will be extended towards science in general via an “upper document ontology” that generalizes common aspects of the document ontologies of OMDoc and other scientific markup languages, such as PhysML or CNXML.

Integration with other systems
SWiM will be integrated with Lectora and locutor – see SWiM, Lectora and locutor – and other systems developed by the KWARC group and others via its service interface.

Topics

 * Ongoing work:
 * /added-value analysis
 * /domain ontology
 * /system ontology
 * /services
 * /data model
 * /validation
 * /Subversion client
 * Usage/Development
 * /database
 * /development
 * /installation
 * /storage
 * Others:
 * /discussions
 * /name

Case studies

 * /Flyspeck

Resources

 * SWiM on JEM
 * (project and 0.1 sources)
 * (newer sources)
 * Mailing list:
 * (newer sources)
 * Mailing list:
 * Mailing list: