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: **kohlhase@kwarc.info

- Archives:
- Views:
- Theories:
- Definitions:
- Constants:
- Files:
- Size: K

- Staging Ground Various mathematical concepts to be sorted into SMGloM repositories
- Sets Basic properties of sets
- Manifolds Basic Definitions for and Properties of Manifolds
- Mathematical Vernacular The special language to express mathematical knowledge
- Basic Number Systems and Elementary Arithmetics Terminology about numbers, their representations, and their operations
- Elementary Calculus Terminology for the mathematical study of change.
- Mathematical Constants Special mathematical constants
- Number Theory (general) General terminology of Number Theory
- Mathematical Identities Equivalent terms of one or more variables
- Topology Terminology for connectedness, continuity, boundary, and the like.
- Geometry Terminology for shape, size, relative position of figures, and properties of space.
- Trigonometry Terminology about functions describing the relationships between lengths and angles in triangles.
- Linear Algebra Terminology for vector spaces, lines, planes, subspaces, matrixes, ...
- Functional Analysis Vector spaces with some kind of limit structure.
- Analysis Calculus, its applications and enhancements
- Special Numbers The objects of Number Theory.
- Prime Numbers Special numbers that are primes.
- Elementary Complexity Theory and Classes Elementary Complexity Theory and Classes
- Magic Squares Terminology about Magic Squares
- Elementary Algeba Elementary algebra encompasses some of the basic concepts of algebra, one of the main branches of mathematics.
- Numbertheoretical Functions Important functions of Number Theorie
- Elementary Graph Theory Graphs are structures that can model many things