SRASS公司 swMATH ID: 21370 软件作者: Geoff Sutcliffe;尤里·普齐斯 描述: SRASS——语义关联公理选择系统。本文描述了一个从包含多余公理的大集合中选择必要公理的系统的设计、实现和测试,以获得一个猜想的证明。选择是由公理和猜想的语义决定的,并通过句法相关性度量进行启发式排序。该系统能够解决许多传统自动推理系统无法单独解决的问题。 主页: 网址:http://www.cs.miami.edu/~tptp/ATP系统/SRASS/ 相关软件: E定理证明器;TPTP公司;马拉雷亚;VAMPIRE公司;水獭;Flyspeck飞点;米扎尔;MPTP 0.2;LEO-II型;BliStr公司;霍利·哈默;HOL灯;马什;MPTP公司;SPASS公司;梅斯4;雅高;iProver(iProver);大锤;月收入 引用于: 12文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 SRASS——语义关联公理选择系统。 Zbl 1213.68575号杰夫·萨特克利夫;尤里·普齐斯 2007 全部的 前5名17位作者引用 5 约瑟夫·乌尔班 4 杰夫·萨特克利夫 三 Cezary卡利西克 三 维斯科基尔 2 斯蒂芬·舒尔茨 1 乌尔里希·富巴赫 1 霍德、克里什托夫 1 彼得·霍夫纳 1 康斯坦丁·科洛文 1 特蕾莎·克雷默 1 洛佩斯·埃尔南德斯,朱利奥·塞萨尔 1 亚当·皮斯 1 大卫·艾伦(David Alan),Plaisted 1 尤里·普齐斯 1 克劳迪娅·肖恩 1 乔治·斯特鲁斯 1 安德烈·沃龙科夫 3篇连载文章中引用 1 符号计算杂志 1 自动推理杂志 1 数学与人工智能年鉴 在2个字段中引用 12 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文