Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
JML公司 161份文件引用(2000–2023) 软件作者： 加里·利文斯（Gary T.Leavens）；Yoonsik Cheon公司 相关软件： 规范#；埃菲尔；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
马戏团 81份文件引用(2002–2024) 软件作者： Woodcock，J.C.P.，卡瓦尔坎蒂，A.L.C。 相关软件： Z；电源保护；Simulink… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
qGCL公司 25篇文献引用(2000–2024) 软件作者： 保罗·祖利亚尼 相关软件： QPL；质量管理清单；Quipper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；Bhargavan，Karthikeyan；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
ArcAngel公司 14篇文献引用(2003–2023) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；安娜·卡瓦尔坎蒂；吉姆·伍德科克 相关软件： 马戏团；Z；电源保护… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊莎贝尔/马戏团 12份文件引用(2013–2017) 软件作者： Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff 相关软件： Isabelle/HOL；电源保护；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
ArcAngelC公司 5份文件引用(2010–2015) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；Zeyda，Frank；安娜·卡瓦尔坎蒂 相关软件： 马戏团；Z；电源保护… 主要字段： 计算机科学（68-XX）
有罪不罚 4份文件引用(1998–2008) 软件作者： 戈曼，H.J.M。；Kok，J.N。；Sere，K.先生。；Udink，R.T.ti：《有罪不罚框架中的协调》。 相关软件： – 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
叠加微积分 4份文件引用(2018–2020) 软件作者： 尼古拉斯·佩尔蒂埃 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
REFLP公司 1份文件引用(1997) 软件作者： 罗伯特·科尔文；伊恩·海耶斯（Ian Hayes）；雷·尼克森（Ray Nickson）；保罗·斯特罗珀 相关软件： Ergo 6号机组 主要字段： 计算机科学（68-XX）