Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration door C. Lange