From a52afa9ae98096e5d06c0c478734a6f8b18480ad Mon Sep 17 00:00:00 2001
From: Richard Marcus <rimarcus@gmx.de>
Date: Sat, 2 May 2020 01:40:48 +0200
Subject: [PATCH] Add new file for tgview3d system

---
 systems/tgview3d.md | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 systems/tgview3d.md

diff --git a/systems/tgview3d.md b/systems/tgview3d.md
new file mode 100644
index 0000000..7a210bc
--- /dev/null
+++ b/systems/tgview3d.md
@@ -0,0 +1,31 @@
+---
+layout: system
+
+menu_title: TGView3D
+shorttitle: TGView3D
+title: The TGView3D Graph Viewer
+teaser: An interactive 3D graph viewer optimized for visualizing Theory Graphs and mathematical knowledge in general
+
+start_date: '2018'
+
+people: 
+    - mkohlhase
+    - frabe
+    - dmueller
+    - rmarcus
+
+
+supported-by:
+    - odk
+
+website: https://tgview3d.mathhub.info/
+repository: https://github.com/UniFormal/tgview3d
+publink: https://kwarc.info/people/mkohlhase/submit/cicm20-tgview3D.pdf
+---
+The TGView3D System is a 3D-theory graph viewer in the Unity Engine.
+Different layouts and highlighting settings are available to visualize the complex theory graphs efficiently.
+In particular, this allows exploration of big mathematical libraries, e.g, those related to theorem provers like Coq or Isabelle.
+Furthermore, we have a virtual reality protoype to allow intuitive and immersive interactions.
+
+
+*For students*: Topics for theses and projects are available [here](https://gl.kwarc.info/kwarc/thesis-projects/-/issues?label_name%5B%5D=Graph+Visualization).
\ No newline at end of file
-- 
GitLab