KWARC Masters Theses

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