… We present the MathHub.info system, a development environment for active mathematical
… new logic-based systems. In the next section we present the current system architecture and …

… In the next section, we will describe the MWS 1.0 system, detail… Documents are simultaneously
indexed in both systems and … We will now describe each of the system components: 1. the …

… , a central service of the MMT system, and defining feature of the ♭Search system. Note that
the MMT … – For the presentation of search hits, we cannot simply rely on the MMT system to …

… systems are based on the explicit representation of mathematical knowledge and organize
that modularly. Surprisingly, most of these systems … an interface for any system that has an OM…

… Mathematical software systems offer two major paradigms for interacting with mathematical
… In this paper we present an integration of the approaches in the context of the MMT system. …

… systems. In this paper we present another substantial step towards a unified infrastructure
for mathematical data: a storage and sharing system … -level data description framework from …

… a module system for … system, which we present in this system description (extensive
documentation available at [KM]). Notably, this very document uses STEX3 and its module system …

… The module system induces a theory graphstructure on mathematical concepts, reflecting …
To that end, we developed the STEX [4, 10] package and related systems, and its recent …

… of the abstract languages of the involved systems (which we call system dialects), and
the distributed computation infrastructure that connects the systems via the ontology as an …

… describe it first. The second requires a much more substantial toolchain of knowledge
management systems… Consequently, the html is intended to be served by a system like Mmt, which …