diff --git a/projects/tetrapod.md b/projects/tetrapod.md index 25ff017642111e97a08f7ffa53b8a6c6f48ea4d3..7a7f48b168df06ff6aa08e8edc3770269826223b 100644 --- a/projects/tetrapod.md +++ b/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) diff --git a/projects/tetrapod/index.md b/projects/tetrapod/index.md new file mode 100644 index 0000000000000000000000000000000000000000..ead23405d3c72a621f6178ce9ae56e0d49d444ad --- /dev/null +++ b/projects/tetrapod/index.md @@ -0,0 +1,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=" diff --git a/projects/tetrapod/tetrapod-arms.jpg b/projects/tetrapod/tetrapod-arms.jpg new file mode 100644 index 0000000000000000000000000000000000000000..245b7edf76fec69ab8c3cde3dfc3d7233a646256 Binary files /dev/null and b/projects/tetrapod/tetrapod-arms.jpg differ diff --git a/projects/tetrapod/tetrapod-arms.tex b/projects/tetrapod/tetrapod-arms.tex new file mode 100644 index 0000000000000000000000000000000000000000..4ed9a46958db85c6c74a8a1a26d418e0b05d1403 --- /dev/null +++ b/projects/tetrapod/tetrapod-arms.tex @@ -0,0 +1,25 @@ +\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: