From ab27df9586473fb93375b46b02e58897bed30068 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Wed, 1 Apr 2020 10:27:25 +0200 Subject: [PATCH] first draft --- systems/frameit.md | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 systems/frameit.md diff --git a/systems/frameit.md b/systems/frameit.md new file mode 100644 index 0000000..a12568c --- /dev/null +++ b/systems/frameit.md @@ -0,0 +1,33 @@ +--- +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 + +start_date: '2013' +orphan: false +people: + - mkohlhase + - dmueller + - rmarcus + - nroux +supported-by: + - oaf + +<!-- logo: public/kwarc_logo.svg --> +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. -- GitLab