Commit 1d5ed3c3 authored by Michael Kohlhase's avatar Michael Kohlhase


parent 777a4a7f
Pipeline #2521 passed with stage
in 2 minutes and 16 seconds
......@@ -22,7 +22,7 @@ publink:
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]( and a [math dictionary](
## Resources
* [SMGloM at](, and
* [SMGloM at](, and
* [the sources on](, written in
[sTeX](/systems/sTeX) (a semantic version of LaTeX.
* A
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment