Archival Literature

Articles in Journals

  1. [1] M. Kohlhase and M. Iancu (2014) Co-representing structure and meaning of mathematical documents. Sprache und Datenverarbeitung, International Journal for Language Data Processing 38 (2), pp. 49–80. Note: Special Issue “The language of mathematics – computational, linguistic and logical aspects” External Links: Link Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [3] M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020) Logic-independent proof search in logical frameworks (short paper). In 10th international joint conference on automated reasoning (IJCAR 2020)10th International Joint Conference on Automated Reasoning (IJCAR 2020), N. Peltier and V. Sofronie-Stokkermans (Eds.), pp. 395–401. Cited by: p1.
  2. [5] J. F. Schaefer, K. Amann, and M. Kohlhase (2020) Prototyping controlled mathematical languages in jupyter notebooks. In Mathematical software – icms 2020. 7th international conferenceMathematical Software – ICMS 2020. 7th international conference, A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig, and T. de Wolff (Eds.), LNCS, Vol. 12097, pp. 406–415. External Links: Link Cited by: p1.
  3. [4] M. Kohlhase (2014) A data model and encoding for a semantic, multilingual terminology of mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 169–183. External Links: Link Cited by: p1.
  4. [1] M. Cîrlănaru, D. Ginev, and C. Lange (2011) Authoring and publishing of units and quantities in semantic documents. In The semantic web: ESWC 2011 workshopsThe Semantic Web: ESWC 2011 Workshops, R. García Castro, D. Fensel, and G. Antoniou (Eds.), LNCS, pp. 202–216. External Links: Link Cited by: p1.
  5. [2] D. Ginev, H. Stamerjohanns, and M. Kohlhase (2011) The LaTeXML daemon: editable math on the collaborative web. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 292–294. Cited by: p1.

Theses

  1. [1] A. Dalga (2021-03) Semantik-extraktion für mengen-phrasen in naturwissenschaftlichen papieren durch sequence-to-sequence modelle. B.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
  2. [2] D. Gorolenkov (2018-09) Meaning extraction in stem-documents by machine-learning methods. B.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
  3. [3] M. Plivelic (2018-02) Using machine learning to support annotating of keywords in mathematical texts. B.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
  4. [4] J. F. Schaefer (2016) Declaration spotting in mathematical documents. B. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [6] J. F. Schaefer, K. Amann, and M. Kohlhase (2020) Prototyping controlled mathematical languages in jupyter notebooks. In Mathematical software – icms 2020. 7th international conferenceMathematical Software – ICMS 2020. 7th international conference, A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig, and T. de Wolff (Eds.), LNCS, Vol. 12097, pp. 406–415. External Links: Link Cited by: p1.
  2. [8] J. F. Schaefer and M. Kohlhase (2020) GLIF: a declarative framework for symbolic natural language understanding. In Proceedings of the 6th Workshop on Formal and Cognitive Reasoning, C. Beierle, M. Ragni, F. Stolzenburg, and M. Thimm (Eds.), pp. 4–11. External Links: Link Cited by: p1.
  3. [4] M. Kohlhase and J. F. Schaefer (2019) GF + MMT = GLF – from language to semantics through LF. In Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2019, D. Miller and I. Scagnetto (Eds.), Vol. 307, pp. 24–39. External Links: Document Cited by: p1.
  4. [7] J. F. Schaefer and M. Kohlhase (2018) Syntactic/semantic analysis for high-precision math linguistics. In Workshop papers at 11th conference on intelligent computer mathematics cicm 2018Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018, O. Hasan, A. Youssef, A. Naumowicz, W. Farmer, C. Kaliszyk, D. Gallois-Wong, F. Rabe, G. D. Reis, G. Passmore, J. Davenport, M. Pfeiffer, M. Kohlhase, S. Autexier, S. Tahar, T. Koprucki, U. Siddique, W. Neuper, W. Windsteiger, W. Schreiner, W. Sperber, and Z. Kovács (Eds.), Note: CICM Work in Progress Paper External Links: Link Cited by: p1.
  5. [2] D. Ginev, S. Lal, M. Kohlhase, and T. Wiesing (2015-07) KAT: an annotation tool for STEM documents. In Mathematical user interfaces workshop at CICMMathematical User Interfaces Workshop, A. Kohlhase and P. Libbrecht (Eds.), External Links: Link Cited by: p1.
  6. [5] M. Kohlhase (2014) A data model and encoding for a semantic, multilingual terminology of mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 169–183. External Links: Link Cited by: p1.
  7. [1] M. Cîrlănaru, D. Ginev, and C. Lange (2011) Authoring and publishing of units and quantities in semantic documents. In Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference1st Workshop on Semantic Publication (SePublica), A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  8. [9] M. Wolska, M. Grigore, and M. Kohlhase (2011) Using discourse context to interpret object-denoting mathematical expressions. In Towards digital mathematics library, dml workshopTowards Digital Mathematics Library, DML workshop, P. Sojka (Ed.), pp. 85–101. External Links: Link Cited by: p1.
  9. [10] M. Wolska and M. Grigore (2010) Symbol declarations in mathematical writing: a corpus study. In Towards digital mathematics library, dml workshopTowards Digital Mathematics Library, DML workshop, P. Sojka (Ed.), pp. 119–127. External Links: Link Cited by: p1.
  10. [3] M. Grigore, M. Wolska, and M. Kohlhase (2009-12-14) Towards context-based disambiguation of mathematical expressions. In The Joint Conference of ASCM 2009 and MACIS 2009: Asian Symposium on Computer Mathematics and Mathematical Aspects of Computer and Information Sciences, M. Suzuki, H. Hong, H. Anai, C. Yap, Y. Sato, and H. Yoshida (Eds.), COE Lecture Notes, Vol. 22, Fukuoka, Japan, pp. 262–271. External Links: ISSN 1881-4042, Link Cited by: p1.

Unpublished

  1. [1] M. A. Dumitru, D. Ginev, M. Kohlhase, V. Merticariu, S. Mirea, and T. Wiesing (2014) System description: KAT an annotation tool for STEM documents. External Links: Link Cited by: p1.

Miscellaneous

  1. [1] A. Dumitru, D. Ginev, M. Kohlhase, V. Merticariu, S. Mirea, and T. Wiesing (2014) KAT: an annotation tool for STEM documents; manual. External Links: Link Cited by: p1.