几何猜想的XML格式（正在进行中）
摘要：几何构造工具的大量软件以及几何构造存储库的出现，迫切需要将它们链接起来，使它们及其集合广泛可用。已经提出了可互操作的交互式几何公共设置，即i2g格式，但该格式缺少猜想和证明的对应关系。缺少一种能够链接几何领域中所有工具的通用格式。本文提出了i2g格式的扩展，该扩展能够描述几何构造和几何猜想。还讨论了将该格式集成到基于Web的GeoThms、TGTP和Web Geometry Laboratory系统中的问题。
作者：Pedro Quaresma
论文ID：1207.2511
分类：Computational Geometry
分类简称：cs.CG
提交时间：2012-07-12