Projects with external funding

• Von Lernenden Lernen: Ganzheitliche Daten- und Wissensunterstützte Hochschulbildung und deren Gestaltung (BMBF)
  December 2021  -  November 2025
  Symbolic AI Methods for Tertiary Education.
• Digitaler Registerassistent (Bundesnotarkammer)
  March 2024  -  February 2027
  Towards automating Register Courts via Symbolic and Subsymbolic AI

Internal Projects

We also organize some of our research and development as projects as well, sometimes to prepare for funding applications, other times to have a framework for collaborating with external researchers:

• arXMLiv (internal)
  started 2006
  Translating the arXiv to XML/HTML5
• CoMMa: Corpus Meta-Mathematics (internal)
  started 2006
  Representing and Extracting the Meaning of Mathematical/Technical Documents
• Tetrapod (internal)
  started December 2011
  All four dimensions of Mathematical Knowledge Processing
• MaMoReD (internal)
  started November 2016
  Flexiformalizing Mathematical Models as Research Data

System Projects

Internal projects that are focused on building particular systems can be found under KWARC Systems.