Skip to content
Snippets Groups Projects
frameit.md 956 B
Newer Older
  • Learn to ignore specific revisions
  • Michael Kohlhase's avatar
    Michael Kohlhase committed
    ---
    layout: system
    
    menu_title: FrameIt
    shorttitle: FrameIT
    title: The UFrameIT Framework
    teaser: A Framework for Serious Games by combining Virtual Worlds with Mathematical Knowledge Management
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    start_date: 2013
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    people: 
        - mkohlhase
        - dmueller
        - rmarcus
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
        - nroux
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    
    
    Michael Kohlhase's avatar
    Michael Kohlhase committed
    supported-by:
        - oaf
    
    website: http://uframeit.github.io
    repository: https://github.com/UFrameIT
    publink: http://kwarc.github.io/bibs/frameit
    ---
    
    The FrameIT project builds a Framework for Serious Games by combining Virtual Worlds with
    Mathematical Knowledge Management. The main idea is that we can use 
    [MMT](https://kwarc.info/projects/mmt) theory graphs to represent the background knowledge
    and [MMT](https://kwarc.info/projects/mmt) pushouts to compute the application of
    knowledge in concrete situations.
    
    The [UFrameIT](https://github.com/UFrameIT) framework uses the
    [Unity game engine](http://unity.com) with the [MMT](https://kwarc.info/projects/mmt)
    system.