AProVE公司 171篇文献引用(2002–2023) 软件作者: Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann 相关软件: 蒂罗尔;多终端;莫德… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);结合环与代数(16-XX)…
K校准仪 46篇文献引用(2007–2022) 软件作者: 罗什、格里戈尔等人 相关软件: 莫德;K工具;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
CeTA公司 49篇文献引用(2009–2023) 软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔 相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…
MetTeL公司 16篇文献引用(2011–2021) 软件作者: 蒂什科夫斯基,德米特里;雷娜特·施密特(Renate A.Schmidt)。;穆罕默德·科达达迪 相关软件: LoTREC公司;KL-ONE;Gen2sat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
保险箱 15篇文献引用(2006–2021) 软件作者: J·恩德鲁利斯 相关软件: AProVE;蒂罗尔;多终端… 主要字段: 数学逻辑与基础(03-XX);结合环与代数(16-XX);计算机科学(68-XX)
斯巴达克斯 14篇文献引用(2010–2021) 软件作者: 丹尼尔·戈兹曼(Daniel Götzmann);马克·卡明斯基;格特·斯莫尔卡 相关软件: HTab;FaCT++;InKreSAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
名古屋终止工具 9份文件引用(2014–2022) 软件作者: 山田,A.,Kusakari,K.,Sakabe,T。 相关软件: 蒂罗尔;NaTT;AProVE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IsaFoR公司 4份文件引用(2011–2016) 软件作者: 亚历山大·克劳斯;斯特纳格尔,克里斯蒂安;雷内·蒂曼;福斯、卡斯滕;吉尔根·吉斯尔 相关软件: Isabelle/HOL;CeTA;CoLoR… 主要字段: 计算机科学(68-XX)
MFE公司 4份文件引用(2012–2023) 软件作者: 弗朗西斯科·杜兰;卡米洛·罗查;何塞·M·阿尔瓦雷斯。 相关软件: 莫德;ITP;P审计… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
二氧化碳 引用于2份文件(2018–2021) 软件作者: Nishida,N.、Kuroda,T.、Yanagisawa,M.、Gmeiner,K。 相关软件: 警察;CoCoWeb;MTT… 主要字段: 计算机科学(68-XX)
考拉 1份文件引用(2023) 软件作者: 博纳西纳(Bonacina)、玛丽亚·保拉(Maria Paola);莎拉·温克勒 相关软件: 常春藤;常春藤;iProver… 主要字段: 计算机科学(68-XX)