You need to sign in or sign up before continuing.
Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
---
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="