×

三峡工程

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）

按年份列出的引文