Explore projects

FormalCAD Project Content

Foundations of Units and Quantities.

The SMGloM modules for elementary algebra.

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

The SMGloM modules for geometry

The SMGloM modules for topology

Number Theoretic Functions

The problems of the course General Computer Science at Jacobs University.

This SMGloM repository contains modules specifying manifolds and their properties.

Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.

The IWGS glossary

A SMGloM archive for mathematical Software

The concepts from the AI lecture at MiKoMH/AI

sTeX Descriptions of the VoLL-KI Systems