Skip to content
Snippets Groups Projects
Normal view Permalink
historic.md 590 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    reorg
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 
    ---
layout: default
title: Historic Systems
menu_title: Historic
menu_order: 2
---
## Historic Systems ([active systems](/projects/active/))

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.
 

listing to be generated here.