The SMGloM project and system: Towards a terminology and ontology for mathematics - Ginev, Deyan; Jucovschi, Constantin; Kohlhase, Andrea; Kohlhase, Michael; Wiesing, Tom; et al. (Springer Verlag, 2016)