Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
The metadata for the MiKoCourses project at MathHub.info
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
Homework/Quiz problems for AI lectures
The slides and course notes of the course Computational Logic.
Demonstrations and Examples for sTeX
The metadata for the MiKoMH project at MathHub.info
The slides and course notes of the course General Computer Science at Jacobs University.
Graph Theory Modules in SMGloM
Logic Atlas, Version 2