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文件 标准条款 3出版物描述软件,包括3出版物在zbMATH中 年份 TPTP世界–自动推理的基础设施。 Zbl 1253.68292号萨特克利夫,杰夫 2010 TPTP问题库和相关基础设施以及相关基础设施。FOF和CNF部件,v3.5.0。 兹比尔1185.68636萨特克利夫,杰夫 2009 TPTP问题库。CNF版本v1。2. 1. Zbl 0910.68197号萨特克利夫,杰夫;克里斯蒂安·萨特纳 1998 全部的 前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位作者 全部的 前5名37篇连载文章中引用 56 自动推理杂志 16 AI通信 8 数学与人工智能年鉴 8 应用逻辑杂志 6 符号计算杂志 6 信息与计算 6 计算机科学课堂讲稿 4 人工智能 4 计算机科学中的数学 三 计算机科学中的逻辑方法 三 形式化推理杂志 2 理论计算机科学 2 计算机科学与技术杂志 2 系统设计中的形式化方法 2 应用非经典逻辑杂志 2 逻辑程序设计理论与实践 1 美国数学月刊 1 信息科学 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 Studia Logica公司 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 机器学习 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机数学杂志 1 人工智能研究杂志 1 科威特科学与工程杂志 1 计算机基础理论 1 通用计算机科学杂志 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 1 DISKI公司。论文en zur Künstlichen Intelligenz 全部的 前5名13个领域引用 407 计算机科学(68至XX) 165 数学逻辑和基础(03-XX) 6 总体主题;集合(00-XX) 4 几何图形(51至XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的引文