System description: MathHub. info
… 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 …
… new logic-based systems. In the next section we present the current system architecture and …
[PDF][PDF] MathWebSearch at NTCIR-11.
R Hambasan, M Kohlhase, CC Prodescu�- NTCIR, 2014 - research.nii.ac.jp
… 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 …
indexed in both systems and … We will now describe each of the system components: 1. the …
Representing, archiving, and searching the space of mathematical knowledge
M Iancu, M Kohlhase, C Prodescu�- …�, Seoul, South Korea, August 5-9�…, 2014 - Springer
… , 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 …
the MMT … – For the presentation of search hits, we cannot simply rely on the MMT system to …
[PDF][PDF] A flexible, interactive theory-graph viewer
M Rupprecht, M Kohlhase, D M�ller�- MathUI, 2017 - kwarc.info
… 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…
that modularly. Surprisingly, most of these systems … an interface for any system that has an OM…
Integrating Semantic Mathematical Documents and Dynamic Notebooks
K Amann, M Kohlhase, F Rabe, T Wiesing�- …�Computer Mathematics: 12th�…, 2019 - Springer
… 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. …
… In this paper we present an integration of the approaches in the context of the MMT system. …
Towards a unified mathematical data infrastructure: database and interface generation
… 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 …
for mathematical data: a storage and sharing system … -level data description framework from …
System Description STEX3–A
TEX La�- Intelligent Computer Mathematics - Springer
… 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 …
documentation available at [KM]). Notably, this very document uses STEX3 and its module system …
[PDF][PDF] STEX3–AL A TEX-based Ecosystem for
D M�ller, M Kohlhase - kwarc.info
… 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 …
To that end, we developed the STEX [4, 10] package and related systems, and its recent …
Knowledge-based interoperability for mathematical software systems
… 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 …
the distributed computation infrastructure that connects the systems via the ontology as an …
[PDF][PDF] FAU Erlangen-N�rnberg
M Kohlhase, D M�ller - 2023 - mirrors.concertpass.com
… 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 …
management systems… Consequently, the html is intended to be served by a system like Mmt, which …