Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
-
An SMGloM Archive for Logic
-
Terminology in Computer Science
-
-
The SMGloM modules for elementary algebra.
-
-
The SMGloM modules for calculus
-
Some foundations of Tannakian Symbols and their relations.
-
Graph Theory Modules in SMGloM
-
Elementary set theory for the SMGloM
-
The SMGloM modules on linear algebra.
-
-
-
-
Number Theory
-
magic squares and their friends
-
-
trigonometric functions
-
special numbers in SMGloM
-
The staging ground for Theresa's SMGloM contributions