GloMIQO公司 86篇文献引用(2009–2023) 软件作者： C.A.Floudas；露丝·米塞纳 相关软件： SCIP；BARON公司；安提戈内… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
血浆 43篇文献引用(2010–2021) 软件作者： E.Agullo、J.Dongarra、B.Hadri等人。 相关软件： MAGMA；LAPACK；ScaLAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
云模拟 22篇文献引用(2012–2023) 软件作者： 罗德里戈·N·卡莱罗斯、拉吉夫·兰扬、塞萨尔·A·F·德·罗斯、拉杰库马尔·布亚 相关软件： iFogSim；网格模拟；pMapper… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
KNIME公司 14篇文献引用(2010–2022) 软件作者： http://knime.org/team; Berthold MR、Cebron N、Dill F、Fatta GD、Gabriel TR、Georg F、Meinl T、Ohl P、Sieb C、Wiswedel B 相关软件： R；威卡；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
TSFC公司 23篇文献引用(2016–2022) 软件作者： 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件： Firedrake；PETSc公司；UFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
期末考试安排 10篇文献引用(1995–2023) 软件作者： Lotfi，V.，Cerveny，R。 相关软件： FIRBS；禁忌搜索；TPSDP… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）
BPSS公司 引用于9份文件(1996–2021) 软件作者： Leonard Adler、Nelson Fraiman、Edward Kobacker、Michael Pinedo、Juan Carlos Plotnicoff、Tso Pang Wu 相关软件： 基因组学；SIMPSON；MULTEX公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
酶联免疫吸附试验 引用于9份文件(1999–2009) 软件作者： 阿南德，L。；Ghose，D。；V·马尼。 相关软件： Stata公司 主要字段： 场论与多项式（12-XX）；统计学（62-XX）；计算机科学（68-XX）…
MONARC公司 6篇文献引用(2001–2012) 软件作者： Ciprian Dobre；科里纳地层 相关软件： OptorSim；网格模拟；GrADS… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学、数学规划（90-XX）
配套元件 6篇文献引用(1993–2017) 软件作者： W.R.贝维尔 相关软件： veriSoft；Isabelle/HOL；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CaSPER公司 6篇文献引用(2007–2013) 软件作者： Correia，M.、Barahona，P.、Azevedo，F.、。 相关软件： 小精灵；通用电气；CSPLib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
国际象棋 5份文件引用(2008–2021) 软件作者： Musuvathi M、Qadeer S、Ball T 相关软件： 橡皮擦；veriSoft；AVIO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PAROC公司 6篇文献引用(2015–2021) 软件作者： 皮斯蒂科普洛斯，E.N。；Diangelakis，N.A。；Oberdieck，R。；Papathanasiou，M.M。；纳斯库，I。；M·孙。 相关软件： POP；安提戈内；MPT… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
CoSP公司 5份文件引用(2010–2018) 软件作者： Michael Backes、Dennis Hofheinz、Dominique Unruh 相关软件： AVISPA；EasyCrypt；项目验证… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
智能发电机 4份文件引用(2003–2012) 软件作者： 科丘特、克里斯；乔纳森·阿诺德；阿米特·谢斯；约翰·米勒（John Miller）；艾琳·克莱默；阿皮纳尔，巴达克；豪尔赫·卡多佐 相关软件： 沃夫兰；虚拟细胞；JigCell… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
BALTRAD公司 在0个文档中引用 软件作者： Michelson，D，Henja，A，Ernes，S，Haase，G，Koistinen，J，O ssiródka，K，Peltonen，T，Szewczykowski，M，Szturc 相关软件： wradlib；蟒蛇；Py ART… 主要字段： –
ROGP公司 3份文件引用(2022) 软件作者： Johannes Wiebe、Inês Cecílio、Jonathan Dunlop、Ruth Misener 相关软件： github；GPy；皮奥莫… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；运筹学、数学规划（90-XX）
模拟活动 引用于2份文件(2009–2019) 软件作者： 迈斯沃克 相关软件： Matlab；UMDES；Simulink… 主要字段： 运筹学、数学规划（90-XX）；系统理论；控制（93-XX）；信息与通信理论，电路（94-XX）
钻井进度计划 引用于2份文件(2022) 软件作者： 威比J 相关软件： ROGP；十亿卢比；ROC++… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；运筹学、数学规划（90-XX）
FogNetSim公司++ 1份文件引用（2023年） 软件作者： Qayyum T.、Malik A.W.、Khan Khattak M.A.、Khalid O.、Khan S.U。 相关软件： iFogSim；云模拟；去… 主要字段： 计算机科学（68-XX）
ImproteK公司 引用于2份文件(2018) 软件作者： Nika、Jéróme、Marc Chemillier、Gérard Assayag 相关软件： DYCI2公司 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；计算机科学（68-XX）
MitC公司 在0个文档中引用 软件作者： 奥马尔·坎穆赫（Omar Kammouh）；Kok，M.W.A.（Maurits）；玛丽亚·诺格尔（Maria Nogal）；Ruud Binnekamp；A.R.M.沃尔弗特（罗吉尔） 相关软件： Matlab公司 主要字段： –
MMOpt公司 1份文件引用(2018) 软件作者： 哈迪亚·哈吉（Khadija Hadj）·塞勒姆（Salem）；Yann Kieffer；圣埃芬·曼奇尼 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
项目进度计划 1份文件引用(2017) 软件作者： Ingenious公司 相关软件： MSNLP；项目计划；Aspen Refinery Multi-Blend Optimizer… 主要字段： 运筹学、数学规划（90-XX）
辛普森 1份文件引用(1996) 软件作者： May，Jerrold H。；路易斯·瓦尔加斯。 相关软件： MULTEX公司；BPSS公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
亚迪斯 1份文件引用(2019) 软件作者： Chandarli Y、Fauberteau F、Damien M、Midonnet S、Qamhieh M 相关软件： 舒姆-乌科斯 主要字段： 计算机科学（68-XX）
暗房 在0个文档中引用 软件作者： 詹姆斯·赫加蒂（James Hegarty）；John Brunhaver；扎卡里·德维托；乔纳森·拉甘·凯利（Jonathan Ragan-Kelley）；诺伊·科恩；史蒂文·贝尔（Steven Bell）；阿特姆·瓦西利耶夫；马克·霍洛维茨（Mark Horowitz）；帕特·汉拉罕 相关软件： – 主要字段： –