皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·C·皮尔斯。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GHC公司 39篇文献引用(1986–2023) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；Kima… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
安全Dpi 13份文件引用(2004–2011) 软件作者： 轩尼诗，马修；朱利安·拉特克（Julian Rathke）；吉田、Nobuko 相关软件： 乔卡姆；MJ；Jif… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
雅典娜++ 5份文件引用(2021–2023) 软件作者： James M.Stone、Kengo Tomida、Christopher J.White、Kyle G.Felker 相关软件： AMReX；闪光；冥王星… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
DFT-FE型 6篇文献引用(2020–2023) 软件作者： Motamarri，P。；Das，P。；Rudraraju，S。；Ghosh，K。；达维多夫，D。；加维尼，V。 相关软件： 阿比尼特；道尔顿；Quantum浓缩咖啡… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
MetaKlaim公司 5份文件引用(2003–2020) 软件作者： Gianluigi法拉利；尤金尼奥·莫吉；罗萨里奥·普格利泽 相关软件： 科莱姆；克拉瓦；杰森… 主要字段： 计算机科学（68-XX）
塔克MPI 4份文件引用(2020–2024) 软件作者： Grey Ballard、Alicia Klinvex、Tamara G.Kolda 相关软件： 分裂；ADTT；tthresh… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
DUNE-FEM-DG公司 引用于3份文件（2019年至2022年） 软件作者： 安德烈亚斯·德纳；斯特凡·吉尔克；罗伯特·克罗夫科恩（Robert Klöfkorn）；托比亚斯·马尔库姆斯 相关软件： 沙丘-雌性；蟒蛇；DUNE-FEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）