SMGloM: The Semantic Multilingual Glossary for Mathematics
smglomCopied to clipboard

One of the challenging aspects of mathematical language is its special terminology of technical terms that are defined in various mathematical documents. The SMGloM is a lexical resource that combines the characteristics of dictionaries and glossaries with those of mathematical ontologies. It facilitates a large variety of knowledge management applications without requiring full formalization, the cost of which would be prohibitive. See the license here.

Responsible:
Michael.Kohlhase@FAU.de
View Source View on TGViewView on TGView3D Test on Jupyter
Report an Issue
IWGS
The Glossary for the course IWGS I/II at FAU
smglom/IWGSCopied to clipboard
ai
The special language to express knowledge in Artificial Intelligence
smglom/aiCopied to clipboard
algebra
Elementary algebra encompasses some of the basic concepts of algebra, one of the main branches of mathematics.
smglom/algebraCopied to clipboard
alggeo
Basic properties of Algebraic Geometry
smglom/alggeoCopied to clipboard
analysis
Calculus, its applications and enhancements
smglom/analysisCopied to clipboard
arithmetics
Terminology about numbers, their representations, and their operations
smglom/arithmeticsCopied to clipboard
atp
Automated Reasoning
smglom/atpCopied to clipboard
automata
The foundations of Automata theory
smglom/automataCopied to clipboard
calculus
Terminology for the mathematical study of change.
smglom/calculusCopied to clipboard
categories
Basic properties of categories
smglom/categoriesCopied to clipboard
chevahir
(no teaser provided)
smglom/chevahirCopied to clipboard
cknoll
Tests by Carsten Knoll
smglom/cknollCopied to clipboard
cogsci
Some basic concepts from cognitive science
smglom/cogsciCopied to clipboard
complexity
Elementary Complexity Theory and Classes
smglom/complexityCopied to clipboard
computing
Basic concepts about computers and programming
smglom/computingCopied to clipboard
constants
Special mathematical constants
smglom/constantsCopied to clipboard
cs
The special language to express knowledge in Computer Science
smglom/csCopied to clipboard
csp
Concepts and Algorithms for Constraint Solving
smglom/cspCopied to clipboard
db
(no teaser provided)
smglom/dbCopied to clipboard
didactics
Concepts from Didactics
smglom/didacticsCopied to clipboard
dlohr
(no teaser provided)
smglom/dlohrCopied to clipboard
eida
The foundations of a course "Algorithms and Data Structures"
smglom/eidaCopied to clipboard
elliptic-curves
(no teaser provided)
smglom/elliptic-curvesCopied to clipboard
epistemology
Epistemology - The Philosophy of Science
smglom/epistemologyCopied to clipboard
formal-methods
Formal Methods
smglom/formal-methodsCopied to clipboard
functional-analysis
Vector spaces with some kind of limit structure.
smglom/functional-analysisCopied to clipboard
gabe
Gabriel Cunningham's modules for his data sets (staging area)
smglom/gabeCopied to clipboard
gdp
Modules for a course "Intro to Programming"
smglom/gdpCopied to clipboard
geometry
Terminology for shape, size, relative position of figures, and properties of space.
smglom/geometryCopied to clipboard
grammar
Basic properties of formal grammars
smglom/grammarCopied to clipboard
graphs
Graphs are structures that can model many things
smglom/graphsCopied to clipboard
identities
Equivalent terms of one or more variables
smglom/identitiesCopied to clipboard
jukka
Jukka Kohonen's modules for his data sets (staging area)
smglom/jukkaCopied to clipboard
kr
Knowledge Reprsentation, Ontologies, Semantic Web, and Description Logics
smglom/krCopied to clipboard
krmt
Concepts from the course Knowledge Reprsentation for Mathematical Theoreies at FAU
smglom/krmtCopied to clipboard
lbs
Concepts from the course Logic-Based Natural Language Semantics at FAU
smglom/lbsCopied to clipboard
legal
Legal Concepts relevant to Math and Computing
smglom/legalCopied to clipboard
linear-algebra
Terminology for vector spaces, lines, planes, subspaces, matrixes, ...
smglom/linear-algebraCopied to clipboard
linguistics
Concepts from Linguistics
smglom/linguisticsCopied to clipboard
lmfdb
Formalizations of LMFDB concepts
smglom/lmfdbCopied to clipboard
logic
Sortware Systems for Mathematics
smglom/logicCopied to clipboard
magic
Terminology about Magic Squares
smglom/magicCopied to clipboard
manifolds
Basic Definitions for and Properties of Manifolds
smglom/manifoldsCopied to clipboard
math
General Mathematics
smglom/mathCopied to clipboard
mathsoft
Sortware Systems for Mathematics
smglom/mathsoftCopied to clipboard
measure-theory
Basic properties of measure theory
smglom/measure-theoryCopied to clipboard
ml
Concepts and Algorithms for Machine Learning
smglom/mlCopied to clipboard
mmt
The Meta-Meta Framework -- a modular framework for representing flexiformal theories
smglom/mmtCopied to clipboard
mv
The special language to express mathematical knowledge
smglom/mvCopied to clipboard
nlp
Basic concepts of NLP
smglom/nlpCopied to clipboard
numbers
The objects of Number Theory.
smglom/numbersCopied to clipboard
numthy
General terminology of Number Theory
smglom/numthyCopied to clipboard
numthyfun
Important functions of Number Theorie
smglom/numthyfunCopied to clipboard
physics
Physics should also be covered
smglom/physicsCopied to clipboard
primes
Special numbers that are primes.
smglom/primesCopied to clipboard
probability
Basic properties of Probabilities
smglom/probabilityCopied to clipboard
research-data
Basic Concepts of Research Data
smglom/research-dataCopied to clipboard
search
Basic Search Algorithms
smglom/searchCopied to clipboard
sets
Basic properties of sets
smglom/setsCopied to clipboard
smglom
Various mathematical concepts to be sorted into SMGloM repositories
smglom/smglomCopied to clipboard
tannakian
Basic properties of Tannakian symbols and their relations to number-theoretical objects.
smglom/tannakianCopied to clipboard
theocs
The foundations for a course of Theoretical Computer Science
smglom/theocsCopied to clipboard
topology
Terminology for connectedness, continuity, boundary, and the like.
smglom/topologyCopied to clipboard
trigonometry
Terminology about functions describing the relationships between lengths and angles in triangles.
smglom/trigonometryCopied to clipboard
units
Foundations of units and quantities
smglom/unitsCopied to clipboard
voll-ki
Software Systems for University Education by the VoLL-KI Project
smglom/voll-kiCopied to clipboard
www
Basic concepts about Web Technologies
smglom/wwwCopied to clipboard