[19] P. Hutterer (2023-04-12) Integrating automated semantic annotation using machine learning into authoring workflows for flexiformal documents. M.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[2] J. Albert (2023) A multi-system narrative search for mathematical libraries – narrative harvesting of math archives. MSc Thesis, Computer Science, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[9] A. Christoph (2023) Hybride künstliche intelligenz in der industriellen produktion am beispiel der sichtprüfung von räumlichen montagebaugruppen. MSc Thesis, Computer Science, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[14] T. Friedrich (2023) Towards digitized register courts ”= a symbolic pipeline for information extraction. MSc Thesis, Computer Science, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[16] M. Helmke (2023) Formalization and annotation of company register processes via logic. MSc Thesis, Computer Science, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[34] J. Peters (2023) MathWebSearch 2.0: scalable formula indexing with perfect sharing. MSc Thesis, Computer Science, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[39] N. Roux (2022-03-23) A framework for defining structure-preserving diagram operators. M.Sc. Thesis, FAU Erlangen-Nürnberg. Note: linked PDF is an old outdated one External Links: Link Cited by: p1.

[43] J. Schihada (2021) Knowledge-based physics simulation. Master’s Thesis, Informatik, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[47] M. Wagner (2021) Tetrapodal harvesting of the oeis – fair, semantic extraction and organization. Master’s Thesis, Informatik, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[6] B. Bösl (2020-03) Designing a framework for beneficial serious math games using the FrameIt method. M.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[41] J. F. Schaefer (2020) Prototyping NLU pipelines – a type-theoretical framework. Master’s Thesis, Informatik, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[40] M. Rupprecht (2019-05) Visualization of theory graphs. M.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[31] R. Marcus (2019-04) 3D-visualization of theory graphs. M.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[5] J. Betzendahl (2018-04) Translating the IMPS theory library to MMT / OMDoc. Master’s Thesis, Informatik, Universität Bielefeld. External Links: Link Cited by: p1.

[49] T. Wiesing (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.

[35] T. Pollinger (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.

[37] U. Rabenstein (2017) Meaning extraction and semantic services in STEM-documents – a case study on quantity expressions and units. Master’s Thesis, Informatik, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[36] C. C. Prodescu (2014) Text and formula search on ArXiv documents. M. Sc. Thesis, Jacobs University Bremen. Cited by: p1.

[22] A. Jakubauskas (2013) Reflecting declarative rule implementations. M.Sc. Thesis, Jacobs University. External Links: Link Cited by: p1.

[38] D. Rachev (2013) FrameIT: an user interface for applying mathematical theories to real world problems. Bachelor’s Thesis, Jacobs University Bremen. External Links: Link, Document Cited by: p1.

[10] C. David (2012) Semantic Alliance Framework: integrating documents and semantic services. M. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

[11] S. Dumbrava (2012) A Type Theory based on Reflection. Master’s Thesis, Jacobs University Bremen. Cited by: p1.

[18] F. F. Horozal (2012) Management of Change in the Web Ontology Language. Master’s Thesis, Jacobs University Bremen. Cited by: p1.

[21] M. Iancu (2012) Management of change in declarative languages. Master’s Thesis, Jacobs University Bremen. Cited by: p1.

[20] A. Iacob (2011-08) Towards Project-Based Workflows in Twelf. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. External Links: Link Cited by: p1.

[15] M. Grigore (2010) Knowledge-poor interpretation of mathematical expressions in context. M.Sc. Thesis, Jacobs University. External Links: Link Cited by: p1.

[23] C. Jucovschi (2010) Editing knowledge in large mathematical corpora. a case study with semantic LaTeX (sTeX). M.Sc. Thesis, Jacobs University. External Links: Link Cited by: p1.

[44] K. Sojakova (2010) Mechanically Verifying Logic Translations. Master’s Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

[3] Ş. Anca (2009) Natural language and mathematics processing for applicable theorem search. Master’s Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

[30] M. Makaveeva (2009) Management of change in common criteria it security documentation. M.Sc. Thesis, Jacobs University. External Links: Link Cited by: p1.

[1] A. Aiordachioaie (2008) Improving Panta Rhei. Master’s Thesis. External Links: Link Cited by: p1.

[29] B. Laubner (2007-08) Using theory graphs to map mathematics: a case study and a prototype.. Master’s Thesis, Jacobs University, Bremen. External Links: Link Cited by: p1.

[28] C. Lange (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: p1.

[33] N. Müller (2005) OMDoc-Repräsentation von Programmen und Beweisen in VeriFun. Master’s Thesis, Programmiermethodik, Technische Universität Darmstadt. Note: https://kwarc.info/nmueller/papers/dt.pdf External Links: Link Cited by: p1.

[12] S. Eisenhardt (2004) Model generation for negations in natural language. Master’s Thesis, Carnegie Mellon University. Cited by: p1.

[46] W. Tayson (2004) Treating quantifier scope by model generation. Master’s Thesis, Carnegie Mellon University. Cited by: p1.

[13] A. Franke (2003) MBase, a mathematical knowledge base. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[8] A. Burkard (2001) Resource-adaptive model generation for natural language understanding. Master’s Thesis, Computational Linguistics, Saarland University. Cited by: p1.

[48] S. Walther (2001) Model generation and dynamic semantics. Master’s Thesis, Computational Linguistics, Saarland University. Cited by: p1.

[4] J. Baur (1999) Syntax and semantics of mathematical texts – a prototype. Master’s Thesis, Computational Linguistics, Saarland University. Cited by: p1.

[17] S. Hess (1999) Human computer interaction in a proof development environment. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[25] L. Klein (1997) Intexing techniques for higher-order logic. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[32] A. Meier (1997) Proof transformation, universtät des saarlandes. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[45] V. Sorge (1996) Integrating a computer algebra system into a logical proof development environement. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[24] G. Klein (1995) Unification for a lambda-calculus with term declarations and intersection sorts. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[27] S. Kuschert (1995) An extension of the lambda-calculus by discourse representation structures. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[7] A. Bozkurt (199) Strategies for resolution theorem provers in higher-order logic. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[42] O. Scheja (199) Resolution for higher-order multi-valued logics. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.

[26] M. Kohlhase (1989) Eine hinreichende Bedingung für die starke, homologische Minimalität von kompakten, $ℱ$-extremalen Hyperflächen in glatten Mannigfaltigkeiten. Master’s Thesis, Universität Bonn. External Links: Link Cited by: p1.