menu

The KWARC group has developed various added value services based on OMDoc-encoded content, including a mathematical knowledge base, a semantic search engine, management of change, a semantic wiki, mathematical web services, and invasive OMDoc editing technologies. Furthermore, the group works on the utilization of OMDoc to provide Logic Interoperability and to establish scientific Communities of Practice.