×

TGView3D

swMATH ID: 32443
软件作者: 马库斯,R.,科尔哈斯,M.,拉贝,F。
描述: TGView3D系统描述:理论图形的三维可视化。我们描述了TGView3D,这是一种交互式3D图形查看器,专门用于探索理论图形。为了利用这三个空间维度,它使用层次组件扩展了力定向布局。由于常规显示器的局限性,该系统还支持使用头戴式显示器,并利用了几个虚拟不动产交互概念
主页: https://arxiv.org/abs/1905.07076
源代码:  https://github.com/UniFormal/TGView3D
相关软件: mizar-items公司;毫米;Flyspeck飞点;数学jax;米扎尔;Coq公司;格菲;伊莎贝尔/PIDE;OMDoc公司;OpenDreamKit(开放梦想工具包);Py4J型;Jupyter公司;数学中心信息;MMT公司
引用于: 3文件

0连载引用

在1个字段中引用

计算机科学(68-XX)

按年份列出的引文