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