TGView3D

MaRDI QIDQ44154swMATHFDO

Official website https://arxiv.org/abs/1905.07076

Source code repository https://github.com/UniFormal/TGView3D

Cited in

(7)

• TGView3D: a system for 3-dimensional visualization of theory graphs
• MathJax
• MathHub.info
• OpenDreamKit
• Py4J
• Integrating semantic mathematical documents and dynamic notebooks
• mizar-items

This page was built for software: TGView3D