Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • T thesis-projects
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 49
    • Issues 49
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Artifacts
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • KWARC
  • thesis-projects
  • Issues
  • #3
Closed
Open
Issue created Sep 08, 2016 by Michael Kohlhase@mkohlhaseOwner

FrameIT for mathematical models.

Mathematical models (e.g. differential equations, ...) are used in many branches of social and natural sciences. There is talk (e.g. by Karsten Tabelow) of building collections of math models as a resource. I believe that the FrameIT method (see also #1) developed at KWARC is exactly the right framework for reprsesenting and applying such models, only that we do not need the game part. The main difference is that we want to explore the real world, not the game world; a main contribution of this thesis might be to design that kind of interaction interface that allows this. Maybe even a "search engine" that suggests math models given a "situation theory".

This application needs to be developed further, and may become a project proposal if successful. cc: @dmueller

Edited Nov 12, 2018 by Dennis Müller
Assignee
Assign to
Time tracking