TSFC公司 引用于26份文件(2016–2023) 软件作者： 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件： Firedrake；PETSc；UFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CCured公司 引用于18份文件(2002–2018) 软件作者： Necula，G.C.，McPeak，S.，Weimer，W。 相关软件： SLAM；投掷；Java PathFinder… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
巴黎 16篇文献引用(2019–2024) 软件作者： Aniszewski，W。；阿鲁法特，T。；克里亚莱斯·埃斯波西托，M。；达比里，S。；保险丝，D。；Ling，Y。；卢，J。；马兰，L。；帕尔，S。；斯卡多韦利，R。；Tryggvason，G。；叶奇科，P。；萨勒斯基，S。 相关软件： 格里斯；蜥蜴；Vofi… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
玫瑰色 4份文件引用(2003–2010) 软件作者： 丹·昆兰 相关软件： SUIF；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
斯特拉 3份文件引用(2015–2024) 软件作者： 托比亚斯·吉西；卡洛斯·奥苏纳；奥利弗·福勒；毛罗·比安科；托马斯·舒尔赫斯 相关软件： 网格工具；Firedrake；特里利诺斯… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
IKOS公司 2份文件引用(2015–2022) 软件作者： 纪尧姆·布拉特（Guillaume Brat）、豪尔赫·纳瓦斯（Jorge A.Navas）、尼亚·什（Nija Shi）、阿尔诺·维尼特（Arnaud Venet） 相关软件： 停机坪；阿斯匹克；PAGAI… 主要字段： 计算机科学（68-XX）
StarFinder公司 1份文件引用(2019) 软件作者： Pham，Long H。；Le，Quang Loc；Phan，Quoc-Sang；孙军；秦胜超 相关软件： 日本煤炭公司；日本证券交易所；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）