Projects with external funding

• Digitaler Registerassistent (Bundesnotarkammer)
  March 2024  -  February 2027
  Towards automating Register Courts via Symbolic and Subsymbolic AI
• Formative Assessment for Universities: Strategic Application of Innovative Methods to Raise Study Success Rates (STIHL - Stiftung Innovation in der Hochschullehre)
  October 2025  -  September 2029
  Towards Formative Assessment in Universities via Symbolic AI Methods.

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.