Error message

Cannot find MMT presentation file, perhaps library not built yet.

Primary tabs

This repository contains the Math-in-the-Middle ontology for mathematical models (as in modelling e.g. electron transport processes in semiconductors). The emphasis here is in the development of modular and reusable structures that support formal and narrative services that are useful for modelers in practice.


  • Views:
  • Theories:
  • Definitions:
  • Constants:
  • Files:
  • OMDoc size: K
  • Source size: K