Please respect any copyrights when downloading

- [2] (2021) Big math and the one-brain barrier – the tetrapod model of mathematical knowledge. Mathematical Intelligencer 43 (1), pp. 78–87. External Links: Document Cited by: p1.
- [1] (2020/02/14) DiscreteZOO: a fingerprint database of discrete objects. Mathematics in Computer Science. External Links: Document, Link, ISSN 1661-8289 Cited by: p1.
- [3] (2018) Model pathway diagrams for the representation of mathematical models. Journal of Optical and Quantum Electronics 50 (2), pp. 70. External Links: Document Cited by: p1.

- [1] (2019) Integrating semantic mathematical documents and dynamic notebooks. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2019, C. Kaliszyck, E. Brady, A. Kohlhase, and C. Sacerdoti Coen (Eds.), LNAI, pp. 275–290. External Links: Link Cited by: p1.
- [2] (2019) Towards a unified mathematical data infrastructure: database and interface generation. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2019, C. Kaliszyck, E. Brady, A. Kohlhase, and C. Sacerdoti Coen (Eds.), LNAI, pp. 28–43. External Links: Link Cited by: p1.
- [7] (2018) Automatically finding theory morphisms for knowledge management. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2018, F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.), LNAI. External Links: Link Cited by: p1.
- [8] (2018) Theories as types. In 9th international joint conference on automated reasoning9th International Joint Conference on Automated Reasoning, D. Galmiche, S. Schulz, and R. Sebastiani (Eds.), External Links: Link Cited by: p1.
- [9] (2018) Knowledge amalgamation for computational science and engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2018, F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.), LNAI. External Links: Link Cited by: p1.
- [4] (2017) Mathematical models as research data via flexiformal theory graphs. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2017, H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [5] (2017) Knowledge-based interoperability for mathematical software systems. In MACIS 2017MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences, J. Blömer, T. Kutsia, and D. Simos (Eds.), LNCS, pp. 195–210. External Links: Link Cited by: p1.
- [6] (2017) Classification of alignments between concepts of formal mathematical systems. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2017, H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [10] (2017) Virtual theories – a uniform interface to mathematical knowledge bases. In MACIS 2017MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences, J. Blömer, T. Kutsia, and D. Simos (Eds.), LNCS, pp. 243–257. External Links: Link Cited by: p1.
- [3] (2016) Interoperability in the OpenDreamKit project: the math-in-the-middle approach. In Intelligent computer mathematicsIntelligent Computer Mathematics 2016, M. Kohlhase, M. Johansson, B. Miller, L. de Moura, and F. Tompa (Eds.), LNAI. External Links: Link Cited by: p1.

- [2] F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.) (2018) Intelligent computer mathematics. LNAI, Springer. External Links: Document, ISBN 978-3-319-96811-7 Cited by: p1.
- [1] H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.) (2017) Intelligent computer mathematics. LNAI, Springer. External Links: Document, ISBN 978-3-319-62074-9 Cited by: p1.

- [3] (2019-05) Visualization of theory graphs. M.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
- [1] (2019-04) 3D-visualization of theory graphs. M.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
- [4] (2017-08) Enabling cross-system communication using virtual theories and QMT. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. External Links: Link Cited by: p1.
- [2] (2017) Knowledge representation for modeling and simulation – bridging the gap between informal PDE theory and simulations practice. Master’s Thesis, Informatik, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

- [3] (2019) Rapid prototyping formal systems in mmt: 5 case studies. In LFMTP 2019, External Links: Link Cited by: p1.
- [2] (2018) Theories as types. In 9th international joint conference on automated reasoning9th International Joint Conference on Automated Reasoning, D. Galmiche, S. Schulz, and R. Sebastiani (Eds.), External Links: Link Cited by: p1.
- [4] (2017) A flexible, interactive theory-graph viewer. In MathUI 2017: the 12th workshop on mathematical user interfacesMathUI 2017: The 12th Workshop on Mathematical User Interfaces, A. Kohlhase and M. Pollanen (Eds.), External Links: Link Cited by: p1.
- [1] (2016) A standard for aligning mathematical concepts. In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.), External Links: Link Cited by: p1.

- [1] (2018) Notebook import into mathhub.info (interactive display). Deliverable Technical Report D4.11, OpenDreamKit. External Links: Link Cited by: p1.
- [2] (2018) Report on OpenDreamKit deliverable d6.5: gap/sage/lmfdb interface theories and alignment in omdoc/mmt for system interoperability. Deliverable Technical Report D6.5, OpenDreamKit. External Links: Link Cited by: p1.
- [3] (2018) Report on OpenDreamKit deliverable d6.8: curated math-in-the-middle ontology and alignments for gap/sage/lmfdb. Deliverable Technical Report D6.8, OpenDreamKit. External Links: Link Cited by: p1.
- [7] (2017) Mathematical models as research data via flexiformal theory graphs. WIAS Preprint Technical Report 2385. External Links: Document Cited by: p1.
- [8] (2017) In-place computation in active documents (context/computation). Deliverable Technical Report D4.9, OpenDreamKit. External Links: Link Cited by: p1.
- [10] (2017) Distributed, collaborative, versioned editing of active documents in mathhub.info. Deliverable Technical Report D4.3, OpenDreamKit. External Links: Link Cited by: p1.
- [11] (2017) Model pathway diagrams for the representation of mathematical models. WIAS Preprint Technical Report 2431. External Links: Document Cited by: p1.
- [12] (2017) Support for the scscp interface protocol in all relevant components (sage, gap etc.) distribution. Deliverable Technical Report D3.3, OpenDreamKit. External Links: Link Cited by: p1.
- [4] (2016) Report on OpenDreamKit deliverable d6.3: design of triform (D/K/S) theories (specification/rnc schema/examples) and implementation of triform theories in the MMT API. Deliverable Technical Report D6.2, OpenDreamKit. External Links: Link Cited by: p1.
- [5] (2016) Report on OpenDreamKit deliverables d6.2: initial D/K/S base design (including base survey and requirements workshop report) and d6.3: design of triform (D/K/S) theories (specification/RNC schema/examples) and implementation of triform theories in the mmt api. Deliverable Technical Report D6.2, OpenDreamKit. External Links: Link Cited by: p1.
- [6] (2016) Full-text search (formulae + keywords) over latex-based documents. Deliverable Technical Report D6.1, OpenDreamKit. External Links: Link Cited by: p1.
- [9] (2016) Active/structured documents requirements and existing solutions. Deliverable Technical Report D4.2, OpenDreamKit. External Links: Link Cited by: p1.

- [1] TGView3D system description: 3-dimensional visualization of theory graphs. External Links: Link Cited by: p1.