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文件 全部的 前5名10位作者引用 2 迈克尔·科尔哈斯 2 弗洛里安·拉贝 1 阿曼,凯 1 芙蓉岛、秀君 1 理查德·马库斯 1 中关村,Kazuhisa 1 Shigenaka、Seigo 1 Katsumi Wasaki 1 汤姆·威辛 1 大池山口 0连载引用 在1个字段中引用 三 计算机科学(68-XX) 按年份列出的引文