FEMPAR公司 21篇文献引用（2016年-2023年） 软件作者： 圣地亚哥·巴迪亚、阿尔贝托·马汀、哈维尔·普林西比 相关软件： PETSc公司；CutFEM；测试… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国际象棋 5份文件引用(2008–2021) 软件作者： Musuvathi M、Qadeer S、Ball T 相关软件： 橡皮擦；veriSoft；AVIO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GRINS公司 3份文件引用(2018–2021) 软件作者： 保罗·鲍曼（Paul T.Bauman）、罗伊·斯托格纳（Roy H.Stogner） 相关软件： PETSc公司；交易.ii；libMesh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
成本核算表 5份文件引用(2012–2017) 软件作者： Albert，E.、Arenas，P.、Genaim，S.、Gómez-Zamalloa，M.、Puebla，G。 相关软件： 防抱死制动系统；速度；中美合作所… 主要字段： 计算机科学（68-XX）
MPGOS公司 4份文件引用(2020–2024) 软件作者： 费伦茨·赫格德·吕斯 相关软件： ginSODA；CUDA；日晷… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
ParaMEME公司 3份文件引用(2002–2015) 软件作者： Grundy WN、Bailey TL、Elkan CP 相关软件： MAVisto公司；算法97；PAML… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
HyDI公司 3份文件引用(2013–2015) 软件作者： Cimatti A、Mover S、Tonetta S 相关软件： SpaceEx；数学SAT；HySAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
PARyOpt公司 引用于2份文件(2020–2022) 软件作者： Balaji Sesha Sarath Pokuri；亚历克·洛夫奎斯特；乍得·M·里斯科；Baskar Ganapathysubramanian阶 相关软件： 蟒蛇；EGO；PyPI公司 主要字段： 数值分析（65-XX）；流体力学（76-XX）
POOSL公司 3份文件引用(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；酯类… 主要字段： 计算机科学（68-XX）
大熊猫 1份文件引用（2023年） 软件作者： 邦廷，M。；巴达尼，R。；J·斯普林克。 相关软件： 斯特里姆 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…