Explore GitLab
Discover projects, groups and snippets. Share your projects with others

The language metalevel of SMGloM

Number Theoretic Identities




Graph Theory Modules in SMGloM

trigonometric functions


magic squares and their friends



The glossary entries Chevahir did. May be useful at some point.

Subglossary of primes in SMGloM


This SMGloM repository contains modules specifying manifolds and their properties.

The SMGloM modules for topology

Number Theoretic Functions

Number Theory

The SMGloM modules on linear algebra.

special numbers in SMGloM