We describe the TGView3D system, an interactive graph viewer optimized for exploring mathematical knowledge as 3D graphs. To exploit all three spatial dimensions, it extends the commonly-used force-directed layout algorithms with hierarchical components that are more suitable for the typical structure of mathematical knowledge. TGView3D can also communicate with OMDoc-based knowledge management tools in order to offer semantic, mathematics-specific interaction with the graphs.
CITATION STYLE
Marcus, R., Kohlhase, M., & Rabe, F. (2020). Tgview3d: A system for 3-dimensional visualization of theory graphs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12236 LNAI, pp. 290–296). Springer. https://doi.org/10.1007/978-3-030-53518-6_20
Mendeley helps you to discover research relevant for your work.