The SMGloM Project and System. - Deyan Ginev; Mihnea Iancu; Constantin Jucovshi; Andrea Kohlhase; Michael Kohlhase; Jürgen Schefter; Wolfram Sperber (CICM (Work in Progress), 2015)

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. - Deyan Ginev; Mihnea Iancu; Constantin Jucovshi; Andrea Kohlhase; Michael Kohlhase; Akbar Oripov; Jürgen Schefter; Wolfram Sperber; Olaf Teschke; Tom Wiesing (ICMS, 2016)