Newer
Older
---
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 alt="the tetrapod image for the five aspects of doing mathematics" src="tetrapod-arms.jpg"/>
Feel free to include this image into your paper via the [tikz sources provided here](tetrapod-arms.tex)