Explore projects


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





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


Updated


scucoco / math
Apache License 2.0Updated 
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
