31 citations · 66 across the 9 of their papers we have counts for
1 paper · 2 filters
Richard Marcus, Michael Kohlhase, Florian Rabe
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 hiera…