E-Darvin公司 swMATH编号: 6852 软件作者: 彼得·鲍姆加特纳(Peter Baumgartner);比约恩·佩尔泽;蒂内利、塞萨尔;亚历山大·富克斯(Alexander Fuchs);汉斯·德尼维尔 描述: E-Darwin是具有等式的一阶子句逻辑的自动定理证明程序。它接受tptp或tme语法中的问题。非子句输入使用eprover(或很快内置的子句生成器)进行子句化。E-Darwin实现了模型进化演算及其几个变体,其中包括等式推理,请参阅论文。该系统基于达尔文证明。由于达尔文不再被积极维护,E-Darwin最终将包含其所有功能。E-Darwin的开发源于Darwin1.3,因此目前E-Darvin仍需要赶上Darwin1.3与其最新版本Darwin1.4.5之间的变化。 主页: http://userpages.uni-koblenz.de/~bpelzer/edarwin/ 关键词: 达尔文;自动定理证明;等式推理;叠加推理规则;基于实例的方法;等式模型演化演算;定理证明器{tE-Darvin} 相关软件: 达尔文;梅斯4;TPTP公司;iProver(iProver);E定理证明器;糠;超小卫星;SPASS公司;水獭;iProver-Eq型;VAMPIRE公司;E-KRHyper公司;萨奇莫;校准仪9;查找器;南美林猫;z3(零3);雅戈;尼特皮克;倾斜 引用于: 23文件 标准文章 1出版物描述软件,包括1出版物以zbMATH为单位 年份 平等模式演变——修订并实施。 Zbl 1258.03020号彼得·鲍姆加特纳;比约恩·佩尔泽;塞萨尔·蒂内利 2012 全部的 前5名37位作者引用 5 彼得·鲍姆加特纳 5 塞萨尔·蒂内利 4 玛丽亚·保拉(Maria Paola Bonacina) 3 克里斯托夫·韦登巴赫 2 汉斯·德·尼维尔 2 丹尼尔·多尔蒂(Daniel J.Dougherty)。 2 富克斯,亚历山大 2 亨德里克·莱丁格 2 大卫·艾伦(David Alan),Plaisted 2 安德鲁·雷诺兹 1 克拉克·W·巴雷特。 1 贾斯敏·克里斯蒂安·布兰切特 1 科恩·克莱森 1 西蒙·克鲁恩斯 1 瑞安·达纳斯 1 戴维·戴哈贝 1 帕斯卡·方丹 1 乌尔里希·富巴赫 1 马丁·格布瑟 1 约书亚·D·古特曼。 1 托马斯·希伦布兰德 1 康斯坦丁·科洛文 1 阿列克谢·利西萨(Alexei P.Lisitsa)。 1 斯蒂芬·默兹 1 比约恩·佩尔泽 1 约翰·D·拉姆斯代尔。 1 奥昆特·萨布努克 1 萨勒曼·萨加菲 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 Schmidt,Renate A。 1 斯蒂芬·舒尔茨 1 维奥里卡Sofrone-Stokkerman 1 杰夫·萨特克利夫 1 马可·沃伊格特 1 布鲁诺沃尔岑洛格尔古 1 张汉涛 1 张健 全部的 前5名6篇连载文章中引用 7 自动推理杂志 1 符号计算杂志 1 人工智能通信 1 逻辑与计算杂志 1 逻辑程序设计理论与实践 1 应用逻辑杂志 在3个字段中引用 21 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文