AWK公司 21篇文献引用(1979–2019) 软件作者： Alfred V.Aho、Brian W.Kernighan、Peter J.Weinberger 相关软件： PERL；数学；YACC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
平面图 9份文件引用(1997–2005) 软件作者： 迈克尔·希克斯；潘卡杰·卡卡尔；乔纳森·摩尔（Jonathan T.Moore）。；卡尔·A·冈特。；斯科特·奈特尔斯 相关软件： OCaml；番石榴；AtomCaml… 主要字段： 计算机科学（68-XX）
ABS盖 11份文件引用(2020–2023) 软件作者： Petrónio C.L.Silva。；保罗·V·C·巴蒂斯塔。；赫尔德·S·利马。；阿尔维斯（Marcos A.Alves）。；吉马朗斯，弗雷德里科·G。；罗德里戈·C·P·席尔瓦。 相关软件： 科瓦辛；贝叶斯DA；斯坦… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
洛伊 9份文件引用(2002–2021) 软件作者： J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件： TPTP；Coq；PVS… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
DryadLINQ公司 4份文件引用(2012–2018) 软件作者： Yu，Y。；Isard，M。；费特利，D.等人 相关软件： MapReduce；Dryad公司；Hadoop… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；统计力学，物质结构（82-XX）
比例6.2 6篇文献引用(2015–2021) 软件作者： 里尔登，B。；列斐伏尔，R。；Lefebvre，J。；克拉诺，K。；威廉姆斯，M。；Petrie，L。；美国Mertyurek。 相关软件： 德诺沃；特里利诺斯；比例… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
REBA公司 5份文件引用(2019–2023) 软件作者： 莫汉·斯里德哈兰；Michael Gelfond；张世奇；杰里米·怀亚特 相关软件： 人民；CCalc；AlphaZero… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
脚本校对 2份文件引用(2016) 软件作者： 史蒂文·奥布阿（Steven Obua）；菲尔·斯科特（Phil Scott）；雅克·弗莱里奥特 相关软件： dedukti；Coq；Isar… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）