TGView3D System Description: 3-Dimensional Visualization of Theory Graphs
Marcus, Richard, Michael Kohlhase, Florian Rabe · arXiv (Cornell University) · 2019
We describe TGView3D, an interactive 3D graph viewer optimized for exploring theory graphs. To exploit the three spatial dimensions, it extends a force-directed layout with a hierarchical component. Because of the limitations of regular displays, the system also supports the use of a head-mounted display and utilizes several virtual realty interaction concepts.