毫升 516份文件引用(1978–2024) 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
米兰达 155份文件引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
玩具 56篇文献引用(2001–2022) 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
信号 51篇文献引用(1987–2020) 软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
PolyTOIL公司 19份文件引用(1997–2014) 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
所有类型 18篇文献引用(1999–2017) 软件作者： 弗里茨·施瓦兹 相关软件： 减少；枫树；奇异… 主要字段： 场论与多项式（12-XX）；结合环与代数（16-XX）；常微分方程（34-XX）…
科卡 19份文件引用(2014–2023) 软件作者： D.莱扬。 相关软件： 效率；github；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
AURA公司 10篇文献引用(2008–2016) 软件作者： 贾利民；杰弗里·沃恩（Jeffrey A.Vaughan）。；Karl Mazurak；赵建洲；卢克·扎尔科；约瑟夫·肖尔（Joseph Schorr）；史蒂夫·兹丹塞维奇 相关软件： Coq；F*；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
FC公司++ 5份文件引用(2002–2011) 软件作者： 布莱恩·麦克纳马拉；亚尼斯·斯马拉格达基斯 相关软件： STL；Lambda库C++；Python… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
MetaKlaim公司 5份文件引用（2003年至2020年） 软件作者： Gianluigi法拉利；尤金尼奥·莫吉；罗萨里奥·普格利泽 相关软件： 科莱姆；克拉瓦；杰森… 主要字段： 计算机科学（68-XX）
Aspectual凸轮 4份文件引用(2005–2012) 软件作者： Hidehiko Masuhara；Hideaki Tatsuzawa；Akinori Yonezawa 相关软件： PolyAML；OCaml；方面C++… 主要字段： 计算机科学（68-XX）
Hapsembler公司 在0个文档中引用 软件作者： 尼尔根·唐梅兹（Nilgun Donmez）、迈克尔·布鲁德诺（Michael Brudno） 相关软件： 仪表；天鹅绒；dipSPAdes… 主要字段： –
nQML公司 1份文件引用（2008年） 软件作者： Michael Lampis；基里亚科斯·吉尼斯。；Michalis A.Papakyriakou。；尼古拉斯·帕帕斯普鲁。 相关软件： qGCL；质量管理清单；哈斯克尔… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）