Tetrapod
Funding: internal
Prof. Dr. Michael Kohlhase
M.Sc. Dennis Müller
PD Dr. Florian Rabe
Funds:
All four dimensions of Mathematical Knowledge Processing
From: December 2011
Funding: internal



Prof. William Farmer (McMaster University)
Prof. Jacques Carette (McMaster University)
Funds:
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.