Explore projects

The Theories for the LMFDB data base.

The Formalizations for the UFrameIT-based serious game FrameWorld.

The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.

The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

The IWGS Training Problems

Problems for the IWGS course at FAU

GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.

Homework/Quiz problems for AI lectures

LMFDB Knowls exported to sTeX.

The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

The Problems for the course General ICT at Jacobs University

documentation for SMGloM project

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg