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