ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
收入 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗尔… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
K校准仪 52篇文献引用（2007年至2024年） 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CeTA公司 49篇文献引用（2009年-2023年） 软件作者： 勒内，蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
廷巴克 49篇文献引用(2001–2023) 软件作者： 托马斯·杰奈特；Yohan Boichut；贝诺·博伊尔；Valérie Viet Triem Tong。。 相关软件： 莫德；AVISPA；ELAN… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）…
犯罪现场调查 23篇文献引用(2011–2023) 软件作者： 哈拉尔德·赞克；费尔根豪尔（Felgenhauer），伯特伦（Bertram）；阿尔特·米德尔多普 相关软件： 塞加瓦；CeTA；蒂罗尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
K工具 20篇文献引用(2010–2022) 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
保险箱 15篇文献引用(2006–2021) 软件作者： J·恩德鲁利斯 相关软件： AProVE；蒂罗尔；多终端… 主要字段： 数理逻辑与基础（03-XX）；结合环与代数（16-XX）；计算机科学（68-XX）
A3PAT飞机 9份文件引用（2010年-2023年） 软件作者： Contejean，E.，Paskevich，A.，Urbain，X.，Courtieu，P.，Pons，O.，Forest，J。 相关软件： Isabelle/HOL；Coq；CoLoR… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
条件合流 9份文件引用(2014–2022) 软件作者： 托马斯·斯特纳格尔（Thomas Sternagel）；阿尔特·米德尔多普 相关软件： 莫德；塞加瓦；CSI… 主要字段： 计算机科学（68-XX）
自动写入 8份文件引用(2002–2014) 软件作者： Irene杜兰德 相关软件： MONA；数据日志；Treewidthlib… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
IsaFoR公司 4份文件引用(2011–2016) 软件作者： 亚历山大·克劳斯；斯特纳格尔，克里斯蒂安；雷内·蒂曼；福斯，卡斯滕；吉尔根·吉斯尔 相关软件： Isabelle/HOL；CeTA；CoLoR… 主要字段： 计算机科学（68-XX）
CRSX公司 引用于3份文件(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CO3公司 2份文件引用(2018–2021) 软件作者： Nishida，N.、Kuroda，T.、Yanagisawa，M.、Gmeiner，K。 相关软件： 警察；CoCoWeb；MTT… 主要字段： 计算机科学（68-XX）
校对小工具 2份文件引用(2021–2022) 软件作者： 爱德华·艾尔斯（Edward W.Ayers）。；贾姆尼克，马蒂亚；W.T.Gowers。 相关软件： 精益；mathlib；岩浆… 主要字段： 计算机科学（68-XX）