ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 版次：；水獭；NQTHM… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；非结合环与代数（17-XX）…
PMaude公司 30篇文献引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞格尔；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
加勒比 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
塞加瓦 9份文件引用(2013–2022) 软件作者： Hirokawa，N.，Klein，D。 相关软件： CSI；条件合流；蒂罗尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
CRSX公司 引用于3份文件(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
莫纳德归一化 1份文件引用(2020) 软件作者： Joshua Schneider、Manuel Eberl、Andreas Lochbihler 相关软件： Isabelle/HOL；概率_素数_测试；密度编译器… 主要字段： 计算机科学（68-XX）