Home

Welcome to the TGView wiki!

The TGView System is a browser-based theory graph viewer developed at the KWARC group at FAU Erlangen-Nürnberg by Marcel Rupprecht (with help/supervision by Dennis Müller and Michael Kohlhase).

We value your feedback, please consult the GitHub issues for planned extensions and feel free to open a new issue if you have comments.

Documentation (Conceptual)

There is a paper at MathUI 2017 that describes the system.

User Manual and Help Pages

• User Manual
• Help Pages

Technical Documenation

TGView is a JavaScript library that visualizes and manages interaction with graph structures given as JSON objects. There is a TGView instance continually running MathHub.info that gives graph access to all the MathHub content.

• URI Parameters
• Enbedding TGView
• Graph Format
• Graph Sources