ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
IMPS公司 52篇文献引用(1990–2021) 软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔 相关软件: 伊莎贝尔;Nuprl;Coq… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
孩子们 11份文件引用(1992–2021) 软件作者: D.R.史密斯 相关软件: 定理;ALISA;TAMPR… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)
SNARK(扫描) 3份文件引用(2009–2015) 软件作者: Stickel,M。 相关软件: Waldmeister;E定理证明器;生动… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);相对论和引力理论(83-XX)
KSACI公司 2份文件引用(2002–2009) 软件作者: Ryan L.阿尔伯克基。;Hübner,Jomi F。;德保拉(de Paula),古斯塔沃(Gustavo E.)。;Jaime S.Sichman。;Geber L.Ramalho。 相关软件: LEAP公司 主要字段: 计算机科学(68-XX)
科内尔公司 引用于1份文件(2020) 软件作者: 马利亚阿尔普特;丹尼尔·帕尔多(Daniel Pardo);艾丽西亚·维拉纽埃娃 相关软件: 金级规范;莫德;z3… 主要字段: 计算机科学(68-XX)