ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ATERM公司 41篇文献引用(2000–2011) 软件作者： 莫罗、皮埃尔·伊蒂安；奥利维尔·曾德拉 相关软件： Stratego；ELAN；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CiME公司 39篇文献引用(1996–2022) 软件作者： 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
多终端 34份文件引用（2005年至2022年） 软件作者： 萨尔瓦多·卢卡斯 相关软件： AProVE；蒂罗尔；莫德… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
犯罪现场调查 24篇文献引用(2011–2024) 软件作者： 哈拉尔德·赞克；费尔根豪尔（Felgenhauer），伯特伦（Bertram）；阿尔特·米德尔多普 相关软件： 塞加瓦；CeTA；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
K工具 21篇文献引用(2010–2022) 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
加勒比 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
条件合流 9份文件引用(2014–2022) 软件作者： 托马斯·斯特纳格尔（Thomas Sternagel）；阿尔特·米德尔多普 相关软件： 莫德；塞加瓦；CSI… 主要字段： 计算机科学（68-XX）
Java+ITP 引用于7份文件（2007-2013） 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
二氧化碳 2份文件引用(2018–2021) 软件作者： Nishida，N.、Kuroda，T.、Yanagisawa，M.、Gmeiner，K。 相关软件： 警察；CoCoWeb；MTT… 主要字段： 计算机科学（68-XX）