Explore projects

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