more material

projects/tetrapod.md

@@ -25,3 +25,20 @@ 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)

projects/tetrapod/index.md

+---
+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="

projects/tetrapod/tetrapod-arms.tex

+\documentclass{standalone}
+\usepackage{tikzinput}
+\begin{document}
+\providecommand\myscale{4.5}
+\begin{tikzpicture}[scale=\myscale]
+  \node (center) at (0,.15) {Organization};
+  \node (left) at (.2,-.3) {Computation};
+  \node (right) at (.4,0) {Inference};
+  \node (back) at (-.5,0) {Narration};
+  \node (up) at (0,.5) {Tabulation};
+
+  \draw[very thick] (center) -- (left);
+  \draw[very thick] (center) -- (right);
+  \draw[very thick] (center) -- (back);
+  \draw[very thick] (center) -- (up);
+  \draw[dotted] (left) -- (right) -- (back) -- (left);
+  \draw[dotted] (up) -- (left);
+  \draw[dotted] (up) -- (right);
+  \draw[dotted] (up) -- (back);
+\end{tikzpicture}
+\end{document}
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: t
+%%% End: