三峡工程 swMATH ID: 12327 软件作者: 佩德罗·夸雷斯马 描述: TGTP-几何定理证明程序的千道几何问题。构建TGTP(几何定理证明程序的数千个几何问题)的主要动机是支持几何自动定理证明(GATP)系统的测试和评估,以帮助确保性能结果准确反映所考虑的GATP系统的能力。 主页: http://hilbert.mat.uc.pt/TGTP/index.php 相关软件: GeoThms公司;Intergeo公司;GeoGebra公司;GCLC公司;GCL校准仪;灰姑娘;关贸总协定;Opengeo公司;GEX公司;日本国债交易所;电子几何教科书;地理证明;TPTP公司;地理1.1;ArgoCLP公司;SMT-LIB公司;SATLIB公司;开放式地质验证仪;ArgoTriCS公司;WGL公司 引用于: 14文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 几何定理证明器(TGTP)的数千个几何问题。 Zbl 1350.68243号佩德罗·夸雷斯马 2011 全部的 前5名23位作者引用 7 佩德罗·夸雷斯马 4 陈晓宇 三 王东明 2 阿奈、平子 2 Noriko H.Arai。 2 努诺·贝塔 2 藤崎隆彦 2 伊瓦内、希德诺 2 Munehiro小林 2 朱玛·库多 2 松崎隆彦 2 丹·宋 2 詹益阳 1 安文雅 1 格拉齐亚尼,皮耶路易吉 1 亚尼斯·哈拉兰博斯 1 姜磊 1 雅罗斯拉夫·麦克 1 米罗斯拉夫·奥尔沙克 1 万达桑托斯 1 Sedlář,Jiൿí 1 约瑟夫·西维奇 1 约瑟夫·厄本 5篇连载文章中引用 三 计算机科学中的数学 1 符号计算杂志 1 人工智能通信 1 数学与人工智能年鉴 1 系统科学与复杂性杂志 在5个字段中引用 14 计算机科学(68至XX) 三 几何图形(51-XX) 2 数学教育(97-XX) 1 总体主题;集合(00-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文