Explore projects
-
Updated
-
-
-
-
-
Updated
-
-
GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.
Updated -
-
-
-
-
-
-
-
-
-
-
The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection
Updated -
The meta information for the MathHub data collection on highly symmetric objects
Updated