Lange, Christoph and Kohlhase, Michael. "A Semantic Wiki for Mathematical Knowledge Management." Paper presented at the meeting of the Proceedings of the First Workshop on Semantic Wikis -- From Wiki
o Semantics, 2006.