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.
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
Internal projects that are focused on building particular systems can be found under KWARC Systems.