推特 swMATH ID: 28632 软件作者: 北斯莫尔博内。 描述: Twee是方程式逻辑的定理证明者。它以公理和猜想这两组方程作为输入,并试图从公理中证明猜想。有关如何获取副本,请参阅安装页;你可能还想看看简短的手册。输入问题应以TPTP格式编写。 主页: http://nick8325.github.io/twee/ 相关软件: 香车叶草;E定理证明器;TPTP公司;VAMPIRE公司;iProver(iProver);MadMax公司;z3(零3);SPASS公司;ACER公司;谜;github;亚当;HOList公司;PyTorch公司;HOL公司;校准仪9;超小卫星;伊西查尔;StarExec公司;大锤 引用于: 6文件 全部的 前5名被10位作者引用 2 安德烈·杜阿尔特 2 康斯坦丁·科洛文 2 尼古拉斯·斯莫尔博内 1 克莱森,科恩 1 马丁·德沙奈斯 1 汤姆·M·海斯克斯。 1 米科拉什·亚诺塔 1 Jelle Piepenbrock 1 杰夫·萨特克利夫 1 约瑟夫·厄本 在1个序列中引用 1 人工智能通信 在3个字段中引用 6 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 按年份列出的引文