The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
Homework/Quiz problems for AI lectures
Problems for the IWGS course at FAU
Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
The Course General ICT at Jacobs University
The Problems for the course General ICT at Jacobs University
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.
EXPERIMENTAL: Formalizing Mathematical Models as Research Data
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.
The Theories for the LMFDB data base.
The public repository for the JLogic law formalization course
LMFDB Knowls exported to sTeX.
documentation for SMGloM project