Explore GitLab
Discover projects, groups and snippets. Share your projects with others

The course notes and slides of the course "Informatische Werkzeuge der Geistes und Sozialwissenschaften" at FAU ElangenNürnberg
Updated 
Applications of SMGloM, a semantic multilingual resource for mathematics  glossaries and dictionaries.
Updated 

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

Updated


Updated

Updated

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

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 reimplement ForTheL, the language of SAD.
Updated 
Updated


