WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
普韦布洛 33篇文献引用（1998年至2021年） 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
B-序言 18篇文献引用(2001–2022) 软件作者： Afany软件 相关软件： XSB；YAP-Prolog；SICStus… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
HYPROLOG公司 15篇文献引用（2005年至2022年） 软件作者： 克里斯蒂安森（Christiansen），亨宁（Henning）；维罗妮卡·达尔 相关软件： 平滑；SCIFF；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
IBEX公司 14篇文献引用(2009–2023) 软件作者： 查伯特，G；约旦尼宁 相关软件： filib++；数字；轮廓/偏差… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MSOPS-II型 12份文件引用(2012–2020) 软件作者： E.J.休斯 相关软件： MOEA/D；SPEA2；HypE… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DCCP公司 10篇文献引用(2017–2023) 软件作者： 沈欣悦、史蒂文·戴蒙德、顾元涛、斯蒂芬·博伊德 相关软件： CVXPY；CVX；古罗比… 主要字段： 几何（51-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
LMN总计 8份文件引用(2005–2013) 软件作者： 上田，Kazunori 相关软件： GHC；Janus公司；CC-Pi… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DiSCiPl公司 7份文件引用(2007–2016) 软件作者： – 相关软件： 彗星；Oz Explorer；VIFID/TRIFID… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
XTROEM-FV公司 8份文件引用(2016–2022) 软件作者： 罗莎，Jndl；蒙兹，C-D 相关软件： 猛撞；WHAM；冥王星… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
行为 6篇文献引用(2018–2023) 软件作者： Yu L、Lei Y、Kacker RN、Kuhn DR 相关软件： CAgen；AETG；精确定位… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CA基因 7份文件引用(2020–2023) 软件作者： Wagner，M.、Kleine，K.、Simos，D.E.、Kuhn，R.、Kacker，R。 相关软件： 行为；乙醚；准确指出 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TCHR公司 4份文件引用(2008–2019) 软件作者： 汤姆·施里杰弗斯（Tom Schrijvers）；Bart Demoen；大卫·沃伦。 相关软件： XSB；芯片；SWI-预测… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）
ACT-R公司 4份文件引用(2014–2020) 软件作者： 约翰·安德森（John R.Anderson）；丹尼尔·加尔（Daniel Gall）；托姆·吕维思 相关软件： 贝叶斯DA；坚果；CLARION… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
镉 4份文件引用(2008–2017) 软件作者： Gregory J.鸭子。；Leslie De Konink；彼得·斯图基（Peter J.Stuckey）。 相关软件： 微量锌；通用电气；G12… 主要字段： 计算机科学（68-XX）
克莱斯勒 4份文件引用（2002年至2018年） 软件作者： Christian Holzbaur、Tom Schrijvers、Tom Schrijves 相关软件： 哈斯克尔；SCIFF；ACORDA… 主要字段： 计算机科学（68-XX）
康拉德 4份文件引用(2019–2022) 软件作者： 傅安琪；Ungun，巴ṣ; 邢磊；斯蒂芬·博伊德 相关软件： 蟒蛇；CVXPY；ECOS… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
EMOPSO公司 2份文件引用(2010–2016) 软件作者： 托斯卡诺·普利多，G.，科埃洛·科埃洛，C.A.，桑塔纳-昆特罗，L.V。 相关软件： SMPSO；SPEA2；NSPSO… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
MuTACLP公司 3份文件引用（2000年-2014年） 软件作者： 保罗·曼卡雷拉（Paolo Mancarella）；尼尔比尼、吉安卢卡；拉斐特，亚历山德拉；佛朗哥·都灵 相关软件： SMT-LIB；酯类；SIC斯图斯 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CHR.js公司 2份文件引用(2020) 软件作者： 法尔科·诺加茨；托姆·福吕维思；迪特马尔·塞佩尔 相关软件： 工厂；PAKCS；教堂… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CHR动画 2份文件引用(2015) 软件作者： 纳达·沙拉夫；Abdennadher，苗条；托姆·吕维思 相关软件： BALSA；宙斯；动物… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
弗洛普西 引用于1份文件(2016) 软件作者： Lakhotia，K.、Tillmann，N.、Harman，M.、de Halleux，J。 相关软件： 澳大利亚；CBMC；DART… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
NOWPAC公司 3份文件引用(2017–2019) 软件作者： F.奥古斯丁，Y.M.马尔祖克 相关软件： CUTEst公司；BOBYQA公司；野马… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
PolySCIP公司 3份文件引用(2016–2022) 软件作者： 拉尔夫·博恩德费尔、塞巴斯蒂安·申克、马丁·斯科特拉、蒂莫·斯特伦克 相关软件： BENSOLVE公司；SCIP；表达式… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NGPM公司 2份文件引用(2018–2019) 软件作者： Lin，S。 相关软件： MOEA/D；直接；GitHub… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
Absynth.jl公司 引用于1份文件(2022) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；Amrolahi，丹麦人；尼古拉·比约纳；劳拉·科瓦奇 相关软件： z3型 主要字段： 计算机科学（68-XX）
国际防止虐待动物协会 引用于1份文件(2004) 软件作者： 萨尔瓦多Botello；埃尔南德斯，阿图罗；Giovanni，Lizárraga；卡洛斯·科埃洛 相关软件： – 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）