menu
SMGLoM - A Semantic, Multilingual Glossary of Mathematics
A terminological resource for Mathematics.

Start: November 2013


Prof. Dr. Michael Kohlhase
M.Sc. Constantin Jucovschi
Dr. Mihnea Iancu
M.Sc. Tom Wiesing
Jan Frederik Schaefer

Funded by:
MathSearch
ODK

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

Papers