menu
The TGView3D Graph Viewer
An interactive 3D graph viewer optimized for visualizing Theory Graphs and mathematical knowledge in general

Start: 2018


Prof. Dr. Michael Kohlhase
PD Dr. Florian Rabe
Dr. Dennis Müller
Richard Marcus

Funded by:
ODK

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.