SWiM: A semantic wiki for mathematical knowledge management - Kohlhase, Michael; Lange-Bever, Christoph (1st Workshop on Semantic Wikis, 2008)