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]