menu
Tetrapod
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.