精益 92份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： 辅酶q；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
剑桥LCF 28篇文献引用(1985–2019) 软件作者： 劳伦斯·C·鲍尔森。；康拉德·斯林德 相关软件： Nuprl；自动化；LCF… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
HoTT公司 21篇文献引用(2016–2021) 软件作者： Andrej Bauer、Jason Gross、Peter LeFanu Lumsdaine、Mike Shulman、Matthieu Sozeau、Bas Spitters 相关软件： GitHub；辅酶q；数学溢出… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
球状的 13份文件引用(2016–2022) 软件作者： Krzysztof Bar、Aleks Kissinger、Jamie Vicary 相关软件： 量子力学；GitHub；果园… 主要字段： 结合环与代数（16-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
raSAT系统 在11份文件中引用(2016–2023) 软件作者： T.V.Khanh，M.小川。 相关软件： SMT-RAT；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；数值分析（65-XX）…
Verigraph公司 9份文件引用(2016–2023) 软件作者： 吉尔赫梅·格罗肖（Guilherme Grochau）阿齐兹（Azzi）；贝泽拉、乔纳斯·桑托斯；莱拉·里贝罗（Leila Ribeiro）；安德烈·科斯塔；罗德里格斯、莱昂纳多·马尔克斯；罗德里戈·马查多 相关软件： AGG；同意；Henshin… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
ARTMAP公司 5份文件引用(2013–2020) 软件作者： 维格多，B。；B.勒纳。 相关软件： 模糊ARTMAP；UCI-ml；NuART-Py… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
卡特拉布 4份文件引用(2021–2022) 软件作者： 埃文·帕特森；戴维·斯皮瓦克。；德米特里·瓦格纳 相关软件： 制图员；朱莉娅；LightGraphs.jl… 主要字段： 范畴理论；同调代数（18-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）
DisCoPy公司 3份文件引用(2021–2023) 软件作者： 乔瓦尼·德·费利斯；亚历克西斯·图米；鲍勃·科克 相关软件： pytket；数字Py；JAX… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
小牛 3份文件引用(2017–2022) 软件作者： Gerco van Heerdt、Matteo Sammartino、Alexandra Silva 相关软件： LearnLib；杠杆；西格玛*… 主要字段： 计算机科学（68-XX）
RATH-Agda公司 3份文件引用(2014) 软件作者： Kahl，W。 相关软件： 阿格达；CASL；Spoofax… 主要字段： 阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
状态框 3份文件引用(2020–2022) 软件作者： Statebox团队 相关软件： GitHub；CQL；idris-ct… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
库存流量 3份文件引用(2023–2024) 软件作者： 约翰·贝兹（John Baez）；李晓燕；索菲·利坎德；纳撒尼尔·D·奥斯古德（Nathaniel D.Osgood）。；埃文·帕特森 相关软件： 代数朱莉娅；GitHub；斯特拉… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…
图表.sty 2份文件引用(1994–2013) 软件作者： 保罗·泰勒 相关软件： pdfTeX；cjk；amsthm… 主要字段： 代数几何（14-XX）；几个复变量与解析空间（32-XX）；计算机科学（68-XX）
伊德里斯·科特 2份文件引用(2020–2021) 软件作者： 基诺维塞，法布里奇奥；亚历克斯·格里兹洛夫；杰尔·赫罗德；安德烈·克尼斯佩尔（Andre Knispel）；马可·佩隆（Marco Perone）；Post，Erik；安德烈·维德拉 相关软件： 状态框；CQL；PowerPoint… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
迷你黄铜 2份文件引用(2018–2023) 软件作者： 亚历山大·希恩多夫（Alexander Schiendorfer）；亚历山大·纳普（Alexander Knapp）；Gerrit Anders；沃尔夫冈·雷夫 相关软件： 微量锌；JuMP；古罗比… 主要字段： 运筹学、数学规划（90-XX）
拟Borel空间 2份文件引用(2017–2022) 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教会；HOL；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
公理范畴理论 1份文件引用(2020) 软件作者： Christoph Benzmüller；达纳·斯科特 相关软件： VAMPIRE公司；尼特皮克；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CQL公司 1份文件引用(2020) 软件作者： Conexus团队 相关软件： 状态框；idris-ct；PowerPoint… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
Sheafhom 2.0型 1份文件引用(2007) 软件作者： 马克·麦康奈尔 相关软件： Sheafhom；麦考利2 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）