不明飞行物 22篇文献引用(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： CPA检查员；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
丹德罗 10篇文献引用（2010年至2022年） 软件作者： R.S.Sampath、S.S.Adavani、H.Sundar、I.Lashuk、G.Biros 相关软件： p4测试；交易.ii；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ECDAR公司 9份文件引用(2011–2022) 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
phParAdapt接口 9份文件引用(2013–2022) 软件作者： 约瑟夫·罗德里格斯（Joseph M.Rodriguez）。；Onkar Sahni；Richard T.Lahey。；肯尼思·詹森（Kenneth E.Jansen）。 相关软件： 法斯塔；格里斯；FEAPpv… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；流体力学（76-XX）
ORESD公司 7份文件引用(2004–2011) 软件作者： 乔瓦尼·拉彭塔 相关软件： 凯利；民主；闪烁… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
MPAS公司 6篇文献引用(2022–2023) 软件作者： 霍夫曼，M.J。；佩雷戈，M。；价格，S.F。；利普斯科姆，W.H。；张，T。；雅各布森博士。；特泽尔，I。；塞林格，A.G。；杜米纳罗，R。；贝尔塔尼亚，L。 相关软件： 特里利诺斯；ISSM；皮亚尔巴尼… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
萨摩亚2 4份文件引用(2017–2020) 软件作者： 奥利弗·梅斯特；卡维·拉内马；迈克尔·巴德 相关软件： GEOCLAW公司；森林爪；皮诺… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
墨菲 2份文件引用(2022–2023) 软件作者： 托马斯·吉利斯（Thomas Gillis）；维姆·范·里斯。 相关软件： MRAG-I2D；WABBIT公司；森林法律… 主要字段： 数值分析（65-XX）；流体力学（76-XX）