VAMPIRE公司 307份文件引用(1985年-2023年) 软件作者: 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 相关软件: TPTP;E定理证明;SPASS… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…
转向器 38篇文献引用(2010–2022) 软件作者: Robert Brummayer;阿明·比尔 相关软件: z3;SMT-LIB;CVC4… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
MTT法 27篇文献引用(2008–2023) 软件作者: Durán,F.,Lucas,S.,Meseguer,J。 相关软件: 莫德;AProVE;OBJ3… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
镉 4份文件引用(2008–2017) 软件作者: 格雷戈里·杜克(Gregory J.Duck)。;Leslie De Konink;彼得·斯图基(Peter J.Stuckey)。 相关软件: 微量锌;Gecode公司;G12… 主要字段: 计算机科学(68-XX)