From 0b6f1a6ae94ecb94fdd4427677d4dd7cb137ceff Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sat, 13 Jul 2019 12:22:14 +0200
Subject: [PATCH] reorg
---
projects/tetrapod.md | 45 --------------------------------------
projects/tetrapod/index.md | 5 ++++-
2 files changed, 4 insertions(+), 46 deletions(-)
delete mode 100644 projects/tetrapod.md
diff --git a/projects/tetrapod.md b/projects/tetrapod.md
deleted file mode 100644
index ef77841..0000000
--- 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 ead2340..ef77841 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)
--
GitLab