smglom

Primary tabs

This math archive contains the elementary parts of the Math-in-the-Middle ontology. It covers the same material as the SMGloM terminology. In particular the two are trivially aligned. Ideally, for each SMGloM archive, we would have a MMT file that contains the same theories with the same symbols. But this is unrealistic during development of both the SMGloM and this MitM archive. So we only enforce a "unique name assumption": If there is a pair of symbols with different names, they are "morally different". I.e. where the two ontologies overlap, they are name-aligned.

Responsible: d.mueller@kwarc.info

  • Views:
  • Theories:
  • Definitions:
  • Constants:
  • Files:
  • OMDoc size: K
  • Source size: K
  • algebra
  • arithmetics.omdoc
  • calculus
  • categories
  • categories.omdoc
  • combinatorics.omdoc
  • elliptic_curves
  • geometry
  • misc.omdoc
  • numerics
  • relations.omdoc
  • sets.omdoc
  • topology.omdoc