Projects with external funding
OAF: An Open Archive for Formalizations
2014 - 2018
The OAF Project builds a theoretical framework for interoperability of theorem prover libraries and implements an information system that host and align multiple libraries in a joint semantic setting.
September 2015 - August 2019
Towards an Open Virtual Research Environment Framework for (Computational) Mathematics.
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:
started December 2011
All four dimensions of Mathematical Knowledge Processing
started November 2016
Flexiformalizing Mathematical Models as Research Data
Internal projects that are focused on building particular systems can be found under KWARC Systems.