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 Elangen-Nürnberg
Updated -
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 re-implement ForTheL, the language of SAD.
Updated -
Updated
-