SWiM, the Semantic Wiki for Mathematical Knowledge Management, is now being used for the revision of the OpenMath 3 Content Dictionaries. The wiki at wiki.openmath.org contains the latest draft versions of these content dictionaries. Anybody can browse and discuss. The OpenMath 3 developers can also edit. This paper explains how the system works.

Detailed description of the ongoing case study

OQMath is a simple file processor which delegates to QMath for the mathematical formula (contained between $-signs, but leaves the rest intact.

OQMath is a Java command-line processor delivered under the Mozilla Public License.

It is integrated into jEditOQMath web-start distributions.

See the OQMath home page.

QMath is an extensible processor for readable text files which can output OMDoc files.

It shines by its usage of Unicode.

See the home page of QMath.

jEditOQMath is a text-editor, jEdit, boosted with facilities to edit OMDoc content. It is tuned for the ActiveMath learning environment.

We propose an approach to record the rendering of MathML-encoded formulæ within clients. This supports the permanent quality assessment worry of an author publishing content in a way that would play nicely within each reader's browser.

See also the rendering-tester software page.

See also the recording of the talk.