| CARVIEW |
Select Language
HTTP/2 301
alt-svc: h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-type: text/html
date: Tue, 30 Dec 2025 23:04:35 GMT
location: https://kwarc.info/projects/
server: nginx/1.27.5
vary: Accept-Encoding
content-length: 169
HTTP/1.1 301 Moved Permanently
Location: https://kwarc.info/projects/
Vary: Accept-Encoding
Date: Tue, 30 Dec 2025 23:04:35 GMT
Content-Length: 17
Content-Type: text/plain; charset=utf-8
HTTP/2 200
alt-svc: h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-encoding: gzip
content-type: text/html
date: Tue, 30 Dec 2025 23:04:35 GMT
etag: "694dd28d-20ba"
last-modified: Fri, 26 Dec 2025 00:10:53 GMT
server: nginx/1.27.5
vary: Accept-Encoding
content-length: 2586
Projects · KWARC
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.