diff --git a/projects/tetrapod.md b/projects/tetrapod.md deleted file mode 100644 index ef77841cab6c74b0dc5650648f29139313702482..0000000000000000000000000000000000000000 --- a/projects/tetrapod.md +++ /dev/null @@ -1,45 +0,0 @@ ---- -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 - - kbercic - -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) diff --git a/projects/tetrapod/index.md b/projects/tetrapod/index.md index ead23405d3c72a621f6178ce9ae56e0d49d444ad..ef77841cab6c74b0dc5650648f29139313702482 100644 --- a/projects/tetrapod/index.md +++ b/projects/tetrapod/index.md @@ -13,6 +13,7 @@ people: - mkohlhase - dmueller - frabe + - kbercic collaborators: - Prof. William Farmer (McMaster University) @@ -39,4 +40,6 @@ that are joined by a fifth, which binds them together: All in all we propose that these five aspects can be arranged in a tetrapodal structure -<img src=" +<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)