Marcus R, Kohlhase M, Rabe F (2020)
Publication Type: Conference contribution
Publication year: 2020
Publisher: Springer
Book Volume: 12236 LNAI
Pages Range: 290-296
Conference Proceedings Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISBN: 9783030535179
DOI: 10.1007/978-3-030-53518-6_20
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.
APA:
Marcus, R., Kohlhase, M., & Rabe, F. (2020). Tgview3d: A system for 3-dimensional visualization of theory graphs. In Christoph Benzmüller, Bruce Miller (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 290-296). Bertinoro, IT: Springer.
MLA:
Marcus, Richard, Michael Kohlhase, and Florian Rabe. "Tgview3d: A system for 3-dimensional visualization of theory graphs." Proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, Bertinoro Ed. Christoph Benzmüller, Bruce Miller, Springer, 2020. 290-296.
BibTeX: Download