阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： 辅酶q；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
腿 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： 辅酶q；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
达夫尼 105篇文献引用(2010–2024) 软件作者： 鲁斯坦·莱诺 相关软件： z3；Why3；布吉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
马蒂塔 78篇文献引用（2007年至2024年） 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： 辅酶q；米扎尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
Nitpick公司 79份文件引用(1999–2023) 软件作者： Jasmin Christian布兰切特；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-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）…
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；辅酶q；ALF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
立方agda 17篇文献引用(2020–2023) 软件作者： 安德烈亚·维佐西（Andrea Vezzosi）；Mörtberg，安德斯；安德烈亚斯·亚贝尔 相关软件： 立方体；GitHub；Coq… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
AoPA公司 8份文件引用(2009–2017) 软件作者： Mu，Shin-Cheng；Ko、Xiang-Shang；帕特里克·詹森 相关软件： 阿格达；辅酶q；Idris… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
CoqMT公司 7份文件引用(2010–2020) 软件作者： Pierre-Yves支柱 相关软件： 辅酶q；CoqMTU；dedukti… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
采购订单模板 6篇文献引用(2018–2022) 软件作者： 阿布谢克·阿南德；西蒙·博利埃（Simon Boulier）；科恩、西里尔；索索、马蒂厄；尼古拉斯·塔巴雷奥 相关软件： 辅酶q；CertiCoq；OEuf… 主要字段： 计算机科学（68-XX）
STATCOM公司 4份文件引用(2009–2021) 软件作者： 辛格，B。；萨哈，R。；钱德拉，A。；Al-Haddad，K。 相关软件： Matlab公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；辅酶q；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
金属 1份文件引用(2001) 软件作者： Botia，Juan A。；安东尼奥·戈梅兹·斯卡梅塔（Antonio F.Gomez-Skarmeta）。；巴尔德斯、梅赛德斯；安东尼奥·帕迪拉 相关软件： – 主要字段： 计算机科学（68-XX）