KWARC Masters Theses

  • [5] 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.
  • [34] M. Rupprecht (2019-05) Visualization of theory graphs. M.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
  • [27] R. Marcus (2019-04) 3D-visualization of theory graphs. M.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
  • [4] 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.
  • [40] 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.
  • [30] 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.
  • [32] 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.
  • [31] C. C. Prodescu (2014) Text and formula search on ArXiv documents. M. Sc. Thesis, Jacobs University Bremen. Cited by: p1.
  • [18] A. Jakubauskas (2013) Reflecting declarative rule implementations. M.Sc. Thesis, Jacobs University. External Links: Link Cited by: p1.
  • [33] D. Rachev (2013) FrameIT: an user interface for applying mathematical theories to real world problems. Bachelor’s Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
  • [8] C. David (2012) Semantic Alliance Framework: integrating documents and semantic services. M. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
  • [9] S. Dumbrava (2012) A Type Theory based on Reflection. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
  • [15] F. F. Horozal (2012) Management of Change in the Web Ontology Language. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
  • [17] M. Iancu (2012) Management of change in declarative languages. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
  • [16] A. Iacob (2011-08) Towards Project-Based Workflows in Twelf. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. External Links: Link Cited by: p1.
  • [12] M. Grigore (2010) Knowledge-poor interpretation of mathematical expressions in context. M.Sc. Thesis, Jacobs University. External Links: Link Cited by: p1.
  • [14] S. Holsten (2010) Smart management of change on OMDoc documents. M.Sc. Thesis, Jacobs University. External Links: Link Cited by: p1.
  • [19] 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.
  • [36] K. Sojakova (2010) Mechanically Verifying Logic Translations. Master’s Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
  • [2] Ş. Anca (2009) Natural language and mathematics processing for applicable theorem search. Master’s Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
  • [26] 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.
  • [25] 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.
  • [24] C. Lange (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: p1.
  • [29] 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.
  • [10] S. Eisenhardt (2004) Model generation for negations in natural language. Master’s Thesis, Carnegie Mellon University. Cited by: p1.
  • [38] W. Tayson (2004) Treating quantifier scope by model generation. Master’s Thesis, Carnegie Mellon University. Cited by: p1.
  • [11] A. Franke (2003) MBase, a mathematical knowledge base. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [7] A. Burkard (2001) Resource-adaptive model generation for natural language understanding. Master’s Thesis, Computational Linguistics, Saarland University. Cited by: p1.
  • [39] S. Walther (2001) Model generation and dynamic semantics. Master’s Thesis, Computational Linguistics, Saarland University. Cited by: p1.
  • [3] J. Baur (1999) Syntax and semantics of mathematical texts – a prototype. Master’s Thesis, Computational Linguistics, Saarland University. Cited by: p1.
  • [13] S. Hess (1999) Human computer interaction in a proof development environment. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [21] L. Klein (1997) Intexing techniques for higher-order logic. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [28] A. Meier (1997) Proof transformation, universtät des saarlandes. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [37] V. Sorge (1996) Integrating a computer algebra system into a logical proof development environement. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [20] G. Klein (1995) Unification for a lambda-calculus with term declarations and intersection sorts. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [23] S. Kuschert (1995) An extension of the lambda-calculus by discourse representation structures. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [6] A. Bozkurt (199) Strategies for resolution theorem provers in higher-order logic. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [35] O. Scheja (199) Resolution for higher-order multi-valued logics. Master’s Thesis, Computer Science, Saarland University. Cited by: p1.
  • [22] 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.