All four dimensions of Mathematical Knowledge Processing

From: December 2011

Funding: internal

Prof. Dr. Michael Kohlhase
M.Sc. Dennis Müller
PD Dr. Florian Rabe

Prof. William Farmer (McMaster University)

Prof. Jacques Carette (McMaster University)


The aim of the Tetrapod project is to produce tools for trustworthy and efficient modeling of problems involving mathematics as well as tools for doing mathematical knowledge processing.