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. Dr. Michael Kohlhase M.Sc. Dennis Müller PD Dr. Florian Rabe 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.