TGView3D: a system for 3-dimensional visualization of theory graphs

DOI10.1007/978-3-030-53518-6_20MaRDI QIDQ2219412zbMATH OpenOpenAlexFDO

Authors Richard Marcus, Michael Kohlhase, Florian Rabe

Publication date 20 January 2021

Full work available at URL https://doi.org/10.1007/978-3-030-53518-6_20

Mathematics Subject Classification ID

Mathematical knowledge management (68V30)

Recommendations

• Graph Drawing
• A Visibility Representation for Graphs in Three Dimensions
• Universal 3-dimensional visibility representations for graphs
• scientific article; zbMATH DE number 1751950
• On the 3D visualisation of logical relations
• scientific article; zbMATH DE number 2036265
• On three-dimensional graph drawing and embedding
• Viewgraph: An extension to graph theory.

Cited in

(3)

• scientific article; zbMATH DE number 2084298 (Why is no real title available?)
• Graph Drawing
• An integrated web platform for the Mizar Mathematical Library

Describes a project that uses

Uses Software

• OMDoc
• Isabelle/PIDE
• Gephi
• TGView3D

This page was built for publication: TGView3D: a system for 3-dimensional visualization of theory graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219412)