水獭 326篇文献引用(1988–2023) 软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
版次 87份文件引用(1984–2023) 软件作者: 皮埃尔·莱斯坎 相关软件: RRL;AProVE;蒂罗利安… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
ATERM公司 41篇文献引用(2000–2011) 软件作者: 莫罗、皮埃尔·伊蒂安;奥利维·泽德拉 相关软件: Stratego;埃兰;莫德… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
条件合流 引用于9份文件(2014–2022) 软件作者: 托马斯·斯特纳格尔(Thomas Sternagel);阿尔特·米德尔多普 相关软件: 莫德;塞加瓦;CSI… 主要字段: 计算机科学(68-XX)
mkbTT公司 7份文件引用(2008–2022) 软件作者: 莎拉·温克勒;佐藤、晴彦;阿德尔特米德多尔普;栗原、Masahito 相关软件: 斯洛思罗普;蒂罗尔;KBCV… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);群论与推广(20-XX)…
镉 4份文件引用(2008–2017) 软件作者: 格雷戈里·杜克(Gregory J.Duck)。;Leslie De Konink;彼得·斯图基(Peter J.Stuckey)。 相关软件: 微量锌;通用电气;G12… 主要字段: 计算机科学(68-XX)
CRSX公司 3份文件引用(2009–2011) 软件作者: 罗丝,K.H。;国际商用机器公司 相关软件: 自动化;流行标志;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
二氧化碳 2份文件引用(2018–2021) 软件作者: Nishida,N.、Kuroda,T.、Yanagisawa,M.、Gmeiner,K。 相关软件: 警察;CoCoWeb;MTT… 主要字段: 计算机科学(68-XX)
sprfn公司 3份文件引用(1988–1993) 软件作者: David A.Plaisted。;理查德·波特。 相关软件: NQTHM;Nuprl;霍尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
微型流氓 2份文件引用(2005–2007) 软件作者: 阿伦·斯塔姆(Aaron Stump);瑞安·贝桑德(Ryan Besand);詹姆斯·布罗德曼(James C.Brodman)。;Hseu,Jonathan;比尔·金纳斯利 相关软件: 卡宴;CVC;ALF… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
米隆加 2份文件引用(2002–2008) 软件作者: 布鲁诺,N。;海因茨,J。;马特拉,G。;Wachenchauzer,R。 相关软件: 投射Noether;克罗内克;隔离… 主要字段: 交换代数(13-XX);代数几何(14-XX);计算机科学(68-XX)