Explore projects
-
MitM / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalINFRASTRUCTURE: the meta information for the Math-in-the-Middle Ontology
Updated -
SMGloM / elliptic-curves
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
SMGloM / complexity
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / ActiveComputationDemo
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / eyetracking-math
Creative Commons Attribution Share Alike 4.0 Internationala study
Updated -
PVS / NASA
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
IMPS / imps-library
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Teaching / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
IMPS / imps
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / theresas-playground
Creative Commons Attribution Share Alike 4.0 InternationalThe staging ground for Theresa's SMGloM contributions
Updated -
alignments / namematching
Creative Commons Attribution Share Alike 4.0 InternationalShabbar Raza's code for finding alignments based on matching names.
Updated -
MaMoReD / activedocs
Creative Commons Attribution Share Alike 4.0 InternationalActive documents with models
Updated -
MaMoReD / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe metadata for the MaMoReD project at MathHub.info
Updated -
Teaching / LBS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / Singular
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Test / General
Creative Commons Attribution Share Alike 4.0 InternationalGeneral Tests (Views, Structures, etc.)
Updated -
MMT / mathscheme
Creative Commons Attribution Share Alike 4.0 InternationalThe library of the MathScheme project. See http://www.cas.mcmaster.ca/research/mathscheme/
Updated -
SMGloM / categories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated