Title: Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration
Subjects: Knowledge representation (Information theory), Semantic Web, OMDoc (Document markup language), Mathematics