CPLEX公司 2956份文献中引用(1992–2024) 软件作者： 国际商用机器公司 相关软件： 古罗比；SCIP；AMPL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
米普利布 374份文件引用(1994–2024) 软件作者： 阿切特伯格，托拜厄斯；科赫、托尔斯滕；亚历山大·马丁 相关软件： SCIP；MIPLIB2003；CPLEX… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
皮奥莫 103篇文献引用(2012–2024) 软件作者： 威廉·哈特（William E.Hart）。；卡尔·莱尔德；Jean-Paul Watson；大卫·L·伍德拉夫。 相关软件： 古罗比；Ipopt；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ECOS公司 73篇文献引用(2014–2023) 软件作者： 亚历山大·多马希迪（Alexander Domahidi）、埃里克·朱（Eric Chu）、圣地亚哥·阿克勒（Santiago Akle）、汉·王（Han Wang） 相关软件： CVXPY；莫塞克；SCS… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
Ziggurat公司 50篇文献引用(2000–2024) 软件作者： Marsaglia，G。；曾伟伟。 相关软件： rnorexp；MersenneTwister公司；SFMT… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
COMPASS（指南针） 49份文件中引用(1999–2023) 软件作者： Hong，L.Jeff；巴里·L·纳尔逊。 相关软件： R样条；EGO；SimOpt… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TREX公司 39篇文献引用(2001–2021) 软件作者： Aurore Annichini；艾哈迈德·博阿贾尼；米哈埃拉·西希雷亚努 相关软件： 快速；高科技；LASH… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
DFL公司 45篇文献引用(2012–2024) 软件作者： 刘齐，G。；Lucidi，S。；F.里纳尔迪。 相关软件： DFN；NOMAD公司；DFLBOX… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
bc-prod公司 44篇文献引用(2000–2022) 软件作者： 盖坦省贝尔沃；劳伦斯·A·沃尔西。 相关软件： CPLEX；XPRESS；MULTILSB… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
算法719 引用于41份文件(1993–2017) 软件作者： D.H.贝利。 相关软件： 算法693；Mathematica；mctoolbox… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
rnorrexp公司 35篇文献引用(1982–2023) 软件作者： George Marsaglia、Wai Wan Tsang 相关软件： 齐古拉；MersenneTwister公司；幸福… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
DICOPT公司 39篇文献引用（1997年至2022年） 软件作者： 伊格纳西奥·格罗斯曼 相关软件： 邦明；GAMS；Ipopt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
模仿者 34份文件引用(1996–2023) 软件作者： 埃蒂安·安德烈 相关软件： Uppaal；高科技；PPL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
奥替兰 34份文件引用(1971–2018) 软件作者： W.S.Brown；安德鲁·霍尔 相关软件： 伊斯兰教；减少；gmp… 主要字段： 群论与推广（20-XX）；近似和展开（41-XX）；数值分析（65-XX）…
多线性引擎 33篇文献引用(2002–2022) 软件作者： 彭蒂·帕特罗 相关软件： 张量工具箱；Matlab；PARAFAC… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
米诺塔 32篇文献引用(2014–2023) 软件作者： Leyfer，S.、Linderoth，J.、Luedtke，J.、Mahajan，A.、Munson，T。 相关软件： 邦明；SCIP；MINLPLib… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
WinGULF公司 27篇文献引用(1999–2023) 软件作者： 埃里克·巴贾利诺夫。 相关软件： GloptiPoly；塞杜米；YALMIP… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
BaPCod公司 26篇文献引用（2010年-2023年） 软件作者： 弗朗索瓦·范德贝克；伊萨姆·塔希里 相关软件： DIP；VRP解决程序；SCIP… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
DIP公司 23篇文献引用(2005–2023) 软件作者： T.K.拉尔夫、M.V.加拉蒂。 相关软件： SCIP；GCG；BaPCod… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
躯体 21篇文献引用(2002–2023) 软件作者： 伊凡·泽林卡；朱妮·兰皮宁 相关软件： GSA；GWO；irace… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
味噌 引用于19份文件(2016–2023) 软件作者： 朱利安·米勒 相关软件： NOMAD公司；EGO；DFL… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Rmosek公司 12份文件引用(2016–2021) 软件作者： 亨利克·弗里伯格（Henrik Friberg），莫斯科 相关软件： 莫塞克；R；REBayes… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
阿尔卑斯山 17篇文献引用(2004–2022) 软件作者： Ralphs，T.K。；Ládanyi，L。；M.J.萨尔茨曼。 相关软件： 肱二头肌；CHiPPS；BLIS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
ISUD公司 17篇文献引用（2014年-2023年） 软件作者： 扎格鲁蒂（Abdelouahab Zaghrouti）；弗朗索瓦·索米斯；伊斯梅尔·哈拉奥伊 相关软件： OR-库；GCG；SCIP… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
R样条 17篇文献引用(2013–2023) 软件作者： 王洪刚；Pasupathy，Raghu；布鲁斯·施梅瑟（Bruce W.Schmeiser）。 相关软件： 罗盘；EGO；SimOpt… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DFLBOX公司 16篇文献引用(2012–2022) 软件作者： 刘齐，G。；Lucidi，S。；F.里纳尔迪。 相关软件： DFL；DFLGEN公司；野马… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
HOPSPACK系列 15篇文献引用（2010年-2023年） 软件作者： Sandia公司；Plantenga；G.A.Gray、J.D.Griffin、M.Taddy、M.Martinez-Canales、T.G.Kolda 相关软件： NOMAD公司；BOBYQA公司；DFO… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MAiNGO组织 15篇文献引用(2019–2023) 软件作者： Bongartz，D.，Najman，J.，Sass，S.，Mitsos，A。 相关软件： libMC；安提戈内；NLopt… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
四程序IP 15篇文献引用(2020–2023) 软件作者： 夏伟；胡安·维拉（Juan C.Vera）。；路易斯·祖卢阿加。 相关软件： QuadProgBB；BARON公司；QPLIB… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
BFO公司 14篇文献引用(2017–2022) 软件作者： 玛格丽塔·波塞利；马桶，菲利普·L。 相关软件： NOMAD公司；味噌；DFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
MISQP公司 14篇文献引用(2007–2022) 软件作者： O.Exler、T.Lehmann、K.Schittkowski 相关软件： AlphaECP；QL；BARON… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
帕贾里托 12份文件引用(2020–2024) 软件作者： 克里斯·科伊；迈尔斯·鲁宾（Miles Lubin）；胡安·巴勃罗·维尔玛 相关软件： 邦明；SCIP；古罗比… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PICOS公司 12份文件引用(2013–2023) 软件作者： 纪尧姆·萨格诺；邮政编码 相关软件： YALMIP；塞杜米；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
DFLGEN公司 10篇文献引用(2015–2022) 软件作者： Giampaolo Liuzzi；露西迪、斯特凡诺；弗朗西斯科·里纳尔迪 相关软件： DFLBOX；DFL；野马… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
GCDHEU公司 10篇文献引用(1984–2022) 软件作者： 查尔，布鲁斯·W。；基思·O·格德斯。；Gaston H.Gonnet。 相关软件： 枫树；伊斯兰教；减少… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
算法781 5份文件引用(1998–2021) 软件作者： Greg Breinholt；克里斯托夫·席尔茨 相关软件： SFCGen；耶拿图书馆；基因MAPP… 主要字段： 实函数（26-XX）；数值分析（65-XX）；计算机科学（68-XX）…
肱二头肌 9份文件引用(2004–2020) 软件作者： Ralphs，T.K。；L'adanyi，L。；M.J.萨尔茨曼。 相关软件： 碱性磷酸酶；CHiPPS；BLIS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
双层 9份文件引用(2018–2023) 软件作者： Pineda，S。；Bylling，H。；J.M.莫拉莱斯。 相关软件： BASBL；CPLEX；BOLIB… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CBLIB公司 9份文件引用(2016–2023) 软件作者： 亨里克·A·弗里伯格 相关软件： CPLEX；莫塞克；古罗比… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
L2WPMA公司 8份文件引用(2002–2022) 软件作者： 伊奥安尼斯·德米特里奥 相关软件： FITPACK；Sheppack；QSHEP5D… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
行列式 9份文件引用(2017–2024) 软件作者： 安贾·菲舍尔·菲舍尔、弗兰克·菲舍尔和菲利普·亨格尔兰德 相关软件： CPLEX；门户网站；MatrixMarket… 主要字段： 运筹学、数学规划（90-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
科林 7份文件引用(2012–2022) 软件作者： 科尔斯，A.J。；科尔斯，A.I。；福克斯，M。；龙，D。 相关软件： PDDL；SCIP计划；TensorFlow… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LPC银行 8份文件引用(2018–2022) 软件作者： 于斌；约翰·米切尔（John E.Mitchell）。；彭宗石 相关软件： CPLEX；古罗比；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
MATSuMoTo公司 8份文件引用(2016–2023) 软件作者： 米勒·J·。 相关软件： MLMSRBF；NOMAD公司；MISO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
举起 7份文件引用(2018–2023) 软件作者： 里卡多Fukasawa；劳伦·波里耶（Laurent Poirier）；阿林森·S·泽维尔。 相关软件： MIPLIB公司；MIPLIB2003；onerow… 主要字段： 运筹学、数学规划（90-XX）
meSAT公司 7份文件引用(2014–2023) 软件作者： 米尔科·斯托贾迪诺维奇；菲利普·马里奇 相关软件： 微量锌；糖；Yices… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MIDACO公司 4份文件引用（2010年至2022年） 软件作者： MIDACO-SOLVER公司 相关软件： Matlab；MINLPLib；BARON… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
MIPTS公司 5份文件引用(2005–2010) 软件作者： 佩德罗索、若昂·佩德罗 相关软件： OR-库；分散搜索；FEASPUMP… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）
MIQP公司 5份文件引用(2004–2020) 软件作者： Bemporad，A。；D.米根内。 相关软件： Matlab；CPLEX；OPC工具箱… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
COPL_DSDP公司 3份文件引用(2008–2012) 软件作者： Berhault，M.、Huang，H.、Keskinocak，P.、Koenig，S.、Elmaghraby，W.、Griffin，P.和Kleywegt，A 相关软件： 瑞士Track 主要字段： 数论（11-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
DOTcvpSB公司 3份文件引用（2014年至2017年） 软件作者： 托马斯·希尔马耶；伊娃·巴尔萨-坎托；胡里奥·班加 相关软件： DOTcvp公司 主要字段： 变分法与最优控制；优化（49-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
法西乐 3份文件引用(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
KoAT公司 4份文件引用(2021–2022) 软件作者： 费比安·梅耶（Fabian Meyer）；马塞尔·哈克（Marcel Hark）；吉尔根·吉斯尔 相关软件： z3；GitHub；TPDB… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
备忘录 3份文件引用(2014–2020) 软件作者： 阿卜杜拉，帕罗什·阿齐兹；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；Carl Leonardsson；艾哈迈德·雷兹 相关软件： 小卧室；Mcmt；检查围栏… 主要字段： 计算机科学（68-XX）
MV泊松 4份文件引用(2010–2018) 软件作者： 爱德华多·桑塔格。；多龙·泽尔伯格 相关软件： DEtools；MultiZeilberger公司 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
Torsche公司 3份文件引用(2010–2012) 软件作者： 罗马·卡佩克；Zdeněk Hanzálek；PřemyslŠůcha；米查尔·索伊卡 相关软件： TrueTime；MaRTE操作系统；托勒密… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CAMOS公司 3份文件引用(1996–2002) 软件作者： A.奥西茨卡。 相关软件： SPOT；三角形；Gstat… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
cGOP公司 3份文件引用（2009-2016年） 软件作者： 维斯韦斯瓦兰，V.，佛罗伦萨，C.A 相关软件： GloMIQO；SCIP；APOGEE… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
重力 3份文件引用(2020–2022) 软件作者： Hijazi，H.，Wang，G.，Coffrin，C.：重力 相关软件： 皮奥莫；Ipopt；PGLib-OPF… 主要字段： 运筹学、数学规划（90-XX）
MDTri公司 3份文件引用(2017–2023) 软件作者： 彼得·格拉芙（Peter A.Graf）。；斯蒂芬·比卢普斯 相关软件： MultiMin；BOBYQA公司；野马… 主要字段： 运筹学、数学规划（90-XX）
奥诺 3份文件引用(2018–2022) 软件作者： 里卡多Fukasawa；劳伦·波里耶（Laurent Poirier）；阿林森·S·泽维尔。 相关软件： 举起；MIPLIB公司；无限群松弛… 主要字段： 运筹学、数学规划（90-XX）
松弛复杂性 3份文件引用(2021–2023) 软件作者： 阿维尔科夫，Gennadiy；克里斯托弗·霍尼；马提亚斯·施穆拉 相关软件： SCIP；幸福；西蒙… 主要字段： 凸和离散几何（52-XX）；运筹学、数学规划（90-XX）
圣甲虫 2份文件引用(2014) 软件作者： Soh、Takehide；Tamura、Naoyuki；穆苏诺里·班巴拉 相关软件： 周六4j；GRAPPA；Lynx… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
自动调谐 2份文件引用(2021) 软件作者： Patrick Koch、Oleg Golovidov、Steven Gardner、Brett Wujek、Joshua Griffin、Yan Xu 相关软件： SMAC；青蒿；自动sklearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CoMISo公司 2份文件引用(2012) 软件作者： 亨利克·齐默尔（Henrik Zimmer）；大卫·博姆斯 相关软件： 网格实验室；OpenMesh；OpenFlipper… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
DDDLIB公司 2份文件引用(2002–2023) 软件作者： Jesper B.M\o ller。 相关软件： OCaml；速度；SATO… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
国际MOLPE 2份文件引用(2016) 软件作者： 卡洛斯·亨格勒·安图内斯；玛丽亚·乔·阿尔维斯；乔安·克里马科 相关软件： WINPRE；WINGDSS；视觉UTA… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）
MCMA公司 2份文件引用(1998–2000) 软件作者： 贾努斯·格拉纳特（Janusz Granat）；马雷克·马科夫斯基 相关软件： 国际会计准则协会；GAMS；HOPDM公司 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
OQNLP公司 2份文件引用(2003–2013) 软件作者： TOMLAB公司；Kenneth Holmström；安德斯·奥·戈兰；马库斯·埃德瓦尔 相关软件： 地方政府官员；BARON公司；NEWUOA… 主要字段： 运筹学、数学规划（90-XX）
SparClur俱乐部 2份文件引用(2022–2023) 软件作者： 迪米特里斯·伯西马斯；杰克·邓恩；利亚·卡佩列维奇；张丽贝卡 相关软件： OSQP；针织衫；MPI… 主要字段： 运筹学、数学规划（90-XX）
阿尔卑斯山.jl 1份文件引用(2019) 软件作者： Bent，R.、Nagarajan，H.、Sundar，K.、Wang，S.、Hijazi，H。 相关软件： JuMP；GloMIQO；GitHub… 主要字段： 运筹学、数学规划（90-XX）
英国国家银行 1份文件引用(2016) 软件作者： 科特·库珀斯 相关软件： 鲁棒控制工具箱；样条线工具箱；数值积分工具箱… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
HardTSPLIB公司 1份文件引用(2023) 软件作者： Vercesi，Eleonora；瓜兰迪、斯特凡诺；莫纳尔多·马斯特罗利利；卢卡·玛丽亚·甘巴黛拉 相关软件： LKH；协和式飞机；TSPLIB公司 主要字段： 运筹学、数学规划（90-XX）
国际标准化组织3 1份文件引用(2017) 软件作者： 费利克斯·温特勒（Felix Winterer）、卡斯滕·谢布勒（Karsten Scheibler）、利奥诺·温特勒、马蒂亚斯·绍尔（Matthias Sauer） 相关软件： – 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）
MFD-ILP公司 1份文件引用(2022) 软件作者： 费尔南多·H·C·迪亚斯。；露西娅·威廉姆斯；布伦丹·穆米；亚历山大·托梅斯库一世。 相关软件： HISAT；鲑鱼；古罗比… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
注意：。MClust公司 1份文件引用(2021) 软件作者： 钱丽 相关软件： iClusterPlus；DESeq2；FSCseq… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
NOSNOC公司 1份文件引用(2023) 软件作者： Armin Nurkanović；莫里茨·迪尔 相关软件： 梅沙奇；HSL；CasADi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）
限制和固定 1份文件引用(2023) 软件作者： Joncour，C。；Kritter，J。；米歇尔，S。；谢普勒，X。 相关软件： VRP解决程序；BPPLIB；流行音乐… 主要字段： 运筹学、数学规划（90-XX）
测试INT 1份文件引用(2020) 软件作者： Giampaolo Liuzzi；露西迪、斯特凡诺；弗朗西斯科·里纳尔迪 相关软件： DFN；NOMAD公司；DFLBOX… 主要字段： 运筹学、数学规划（90-XX）