3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
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…