Archival Literature

Articles in Journals

  1. [1] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller and F. Rabe (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.

Papers at International, Peer-Reviewed Conferences

  1. [6] D. Müller, M. Kohlhase and F. Rabe (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.
  2. [7] D. Müller, F. Rabe and M. Kohlhase (2018) Theories as types. D. Galmiche, S. Schulz and R. Sebastiani (Eds.), External Links: Link Cited by: p1.
  3. [2] M. Kohlhase, T. Koprucki, D. Müller and K. Tabelow (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.
  4. [3] M. Kohlhase, D. Müller, S. Owre and F. Rabe (2017) Making PVS accessible to generic services by interpretation in a universal format. In Interactive theorem proving 8th international conference, itp 2017Interactive Theorem Proving, M. Ayala-Rincón and C. A. Muñoz (Eds.), LNCS, Vol. 10499. External Links: Link Cited by: p1.
  5. [4] M. Kohlhase, D. Müller, M. Pfeiffer, F. Rabe, N. Thiéry, V. Vasilyev and T. Wiesing (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. [5] D. Müller, T. Gauthier, C. Kaliszyk, M. Kohlhase and F. Rabe (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.
  7. [1] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry and T. Wiesing (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.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [2] D. Müller, M. Kohlhase and F. Rabe (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.
  2. [3] D. Müller, F. Rabe and M. Kohlhase (2018) Theories as types. D. Galmiche, S. Schulz and R. Sebastiani (Eds.), External Links: Link Cited by: p1.
  3. [5] F. Rabe and D. Müller (2018) Structuring theories with implicit morphisms. In 24th International Workshop on Algebraic Development Techniques 2018, External Links: Link Cited by: p1.
  4. [4] D. Müller, C. Rothgang, Y. Liu and F. Rabe (2017) Alignment-based translations across formal systems using interface theories. In Fifth Workshop on Proof eXchange for Theorem Proving - PxTP 2017, External Links: Link Cited by: p1.
  5. [7] M. Rupprecht, M. Kohlhase and D. Müller (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.
  6. [1] C. Kaliszyk, M. Kohlhase, D. Müller and F. Rabe (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.
  7. [6] D. Rochau, M. Kohlhase and D. Müller (2016) FrameIT reloaded: serious math games from modular math ontologies. 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.

Technical Reports

  1. [1] J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry and T. Wiesing (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.
  2. [2] J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry and T. Wiesing (2018) Report on OpenDreamKit deliverable d6.8: gcurated math-in-the-middle ontology and alignments for gap/sage/lmfdb. Deliverable Technical Report D6.8, OpenDreamKit. External Links: Link Cited by: p1.
  3. [5] M. Kohlhase, T. Koprucki, D. Müller and K. Tabelow (2017) Mathematical models as research data via flexiformal theory graphs. WIAS Preprint Technical Report 2385. External Links: Document Cited by: p1.
  4. [6] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller and F. Rabe (2017) Model pathway diagrams for the representation of mathematical models. WIAS Preprint Technical Report 2431. External Links: Document Cited by: p1.
  5. [3] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry and T. Wiesing (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.
  6. [4] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry and T. Wiesing (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.

Unpublished

  1. [2] F. Rabe and D. Müller (2018) Structuring theories with implicit morphisms. Extended Abstract. External Links: Link Cited by: p1.
  2. [1] A. Condoluci, M. Kohlhase, D. Müller, F. Rabe, C. S. Coen and M. Wenzel Relational data across mathematical libraries. Note: submitted to CICM 2019 External Links: Link Cited by: p1.