NNV公司 23篇文献引用(2021–2024) 软件作者： Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 相关软件： Reluplex；马拉博；AI2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
JuliaReach公司 15篇文献引用(2018–2024) 软件作者： Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Kostiantyn Potomkin、Christian Schilling 相关软件： SpaceEx；流量*；CORA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
面积 引用于3份文件(2020–2021) 软件作者： 姜寿勇；李洪如；郭晶磊；钟明军；杨胜祥；马库斯·凯撒；纳塔利奥·克拉斯诺戈尔 相关软件： MOEA/D；SPEA2；NBI公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SL2SX系列 引用于3份文件(2019–2023) 软件作者： 斯特凡诺·米诺波利；戈兰·弗雷斯 相关软件： Simulink；Isabelle/HOL；Matlab… 主要字段： 计算机科学（68-XX）
VCMM公司 引用于3份文件(2015–2019) 软件作者： Bai，S.Y。；卢，B.Z。 相关软件： TMSmesh；PAFMPB；tabipb… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Lazysets.jl公司 2份文件引用(2022) 软件作者： Forets，M。；席林，C 相关软件： NeuralPDE.jl；微分方程.jl；benchmoded… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
ACAT公司 1份文件引用(2023) 软件作者： Liu，Y.、Chen，S.、Li，Z.、Morrison，A.C.、Boerwinkle，E.、Lin，X 相关软件： SKAT公司 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
承认 1份文件引用(2012) 软件作者： S.Streif、A.Savchenko、P.Rumschinski、S.Borchers、R.Findeisen。 相关软件： YALMIP；CPLEX公司 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
网络通信 1份文件引用(2019) 软件作者： 坎贝尔，I.M。；詹姆斯·R·A。；Chen，E.S。；肖，C.A。 相关软件： EdgeRewire公司；帕杰克 主要字段： 组合数学（05-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）