×

TPTP公司

swMATH ID: 4143
软件作者: Geoff Sutcliffe;克里斯蒂安·萨特纳
描述: TPTP(定理证明者的数千个问题)是自动定理证明(ATP)系统的测试问题库。TPTP为ATP社区提供:今天可用的ATP测试问题的综合库,以便提供概述和简单、明确的参考机制。每个问题的参考文献和其他有趣信息的综合列表。一般问题的任意大小实例(例如,N皇后问题)。将问题转换为现有ATP系统格式的实用程序。概述ATP系统评估要求的一般指南。ATP系统的输入和输出标准。TPTP的主要动机是支持ATP系统的测试和评估,以帮助确保性能结果准确反映所考虑的ATP系统的能力。对于有意义的系统评估、有意义的体系比较、测试的重复性和产生具有统计意义的结果,需要一个通用的问题库。TPTP就是这样一个库。
主页: 网址:http://www.cs.miami.edu/~tptp/
相关软件: 吸血鬼;E定理证明器;SPASS公司;伊莎贝尔/HOL;水獭;Satallax公司;z3型;Coq公司;iProver(iProver);大锤;米扎尔;霍尔;SETHEO公司;梅斯4;LEO-II型;SMT-LIB公司;HOL灯;StarExec公司;第三方程序;超小卫星
引用于: 418文件
全部的 前5名

467位作者引用

36 萨特克利夫,杰夫
34 克里斯托夫·埃瓦尔德·本兹穆勒
25 安德烈·沃伦科夫
21 约瑟夫·乌尔班
17 鲍姆加特纳
17 贾斯敏·克里斯蒂安·布兰切特
17 塞萨里·卡利西克
16 斯蒂芬·舒尔茨
13 劳伦斯·查尔斯·保尔森
12 科瓦奇,劳拉·伊尔迪科
12 贾尔斯·里格尔
12 克里斯托夫·韦登巴赫
10 延斯·奥滕
10 佩塔·武克米罗维奇
9 亚历山大·本特坎普
9 康斯坦丁·科洛文
9 亚历山大·斯蒂恩
9 索菲·托雷特
8 乌尔里希·富巴赫
8 弗洛里安·拉贝
8 马丁·苏达
7 乍得·布朗·爱德华
7 科恩·克莱森
6 西蒙·克鲁恩斯
6 长谷川,龙佐
6 贾尼契奇,普雷德拉格
6 宫崎骏小村
6 沃尔克·索尔格
6 塞萨尔·蒂内利
6 莎拉·温克勒
5 大卫·德拉哈耶
5 斯特凡·赫兹尔
5 霍德、克里什托夫
5 大卫·艾伦(David Alan),Plaisted
5 托马斯·拉斯
4 Böhme,萨沙
4 加布里埃尔·埃布纳
4 操,德克
4 托马斯·希伦布兰德
4 曼弗雷德·科伯
4 莱茨,莱因霍尔德
4 安·利利斯特罗姆
4 安德烈亚斯·梅尔
4 孟,贾
4 朱利安·纳布克斯
4 Nummelin,维萨卡
4 安德烈·帕斯科维奇
4 比约恩·佩尔泽
4 吉赛尔·赖斯
4 亚历山大·里亚扎诺夫
4 乔治·斯特鲁斯
4 克里斯蒂安·萨特纳(Christian B.Suttner)。
4 乌韦·沃尔德曼
4 沃尔夫冈·温斯特伊格
4 布鲁诺沃尔岑洛格尔古
克拉克·W·巴雷特。
艾哈迈德·巴亚特
纪尧姆·贝尔
西蒙·科尔顿
马克西米利亚诺·克里斯蒂亚
约尔格登津格
安德烈·杜阿尔特
福斯,马提亚斯
藤田,广岛
弗莱德里克·吉尔伯特
格雷斯,伯恩哈德
彼得·霍夫纳
奥尔特伦·伊本斯
迈克尔·科尔哈斯
克里斯托夫·克里茨
丹尼尔·库尔温
弗拉基米尔·利夫希茨
勒什内尔,伯尔尼
帕特里克·吕内
亚历山大·利亚列茨基。
尼古拉斯·佩尔蒂埃
弗兰克·芬宁
佩德罗·夸雷斯马
迈克尔·劳森
安德鲁·雷诺兹
马丁·里纳
吉安弗兰科·罗西
Schaub,Torsten H。
谢克曼,Jörg H。
约翰·斯莱尼。
尼古拉斯·斯莫尔博内
尼克·苏尔塔纳
泰斯,弗兰克
康斯坦丁·沃奇宁
维斯科基尔
维斯涅夫斯基,马克斯
2 阿奈、平子
2 安德鲁斯,彼得·B·。
2 Noriko H.Arai。
2 谢尔盖·奥特西尔
2 马克·贝泽姆
2 沃尔夫冈·比贝尔
2 马修·毕晓普
2 玛丽亚·保拉(Maria Paola Bonacina)
2 蒂莫西·布鲁克
…还有367位作者

按年份列出的引文