From 0831e5259b5838ea8802527bff965297be7bc95b Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Mon, 23 Oct 2017 17:09:24 +0200 Subject: [PATCH] more --- systems/smglom.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/systems/smglom.md b/systems/smglom.md index bdb0e46..2759654 100644 --- a/systems/smglom.md +++ b/systems/smglom.md @@ -1,7 +1,7 @@ --- layout: system -title: "SMGLoM; The Semantic, Multilingual Glossary of Mathematics" +title: "SMGLoM - A Semantic, Multilingual Glossary of Mathematics" teaser: A terminological resource for Mathematics. start_date: 2013-11 @@ -10,12 +10,14 @@ people: - mkohlhase - cjucovschi - miancu + - twiesing + - jfschaefer --- The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a [classical glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary). ## Resources * [SMGloM at MathHub.info](https://mathhub.info/smglom), and -* [the sources on gl.mathhub.info](https://gl.mathhub.info/smglom). +* [the sources on gl.mathhub.info](https://gl.mathhub.info/smglom), written in [sTeX](/systems/sTeX) (a semantic version of LaTeX. ## Papers * D. Ginev, M. Iancu, C. Jucovshi, A. Kohlhase, M. Kohlhase, A. Oripov, J. Schefter, W. Sperber, O. Teschke and T. Wiesing (2016) [The SMGloM project and system. towards a terminology and ontology for mathematics](http://kwarc.info/kohlhase/papers/icms16-smglom.pdf) ICMS 2016 -- GitLab