eds.activemath.org

You know what?

A content-dictionary as can be found by tons on http://www.openmath.org/cd/ is mostly a social artifact. It’s a set of descriptions of symbols so that one can mean what others means.

A content dictionary is just a way for everyone and every application to have a common pointer. Of course, it does contain a few properties that you wish be respected, both verbally and formally, but that is part of a description.

Because it’s something you can talk about… it can be used in computer mediated communication and I can mean “what this guy means”.

Christoph Lange has understood that well, the feature of SWiM that’s most developed is the comment feature ;-)