Explore projects
-
-
Updated
-
-
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
Updated -
-
-
scucoco / math
Apache License 2.0Updated -
Updated
-
Updated
-
-
The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
Updated -