A Semantic Wiki for Mathematical Knowledge Management.
In: M. Völkel and S. Schaffert, editors, Proceedings of the First Workshop on Semantic Wikis - From Wiki To Semantics, series Workshop on Semantic Wikis. ESWC2006, 2006.
Christoph Lange and Michael Kohlhase.
[doi]  [BibTeX]