layout: project

title: Tetrapod
shorttitle: Tetrapod
teaser: All four dimensions of Mathematical Knowledge Processing

active: true
start_date: '2011-12'
publink: auto

people:
    - mkohlhase
    - dmueller
    - frabe

collaborators:
    - Prof. William Farmer (McMaster University)
    - Prof. Jacques Carette (McMaster University) 

logo: public/kwarc_logo.svg
funding: internal

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.

The main result of the project is the conception of a "doing math" involves four primary aspects

• computation (which produces information),
• reasoning (which produces arguments),
• tabulation (which produces data),
• narration (which produces documents),

that are joined by a fifth, which binds them together:

• organisation (which produces ontologies).

All in all we propose that these five aspects can be arranged in a tetrapodal structure

<img src="