CPLEX公司 软件作者：IBM公司 参考文献： 2714份出版物（1992-2022年） 相关软件： 古罗比；SCIP；伽马；振幅；MIPLIB；Matlab… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
PETSc公司 软件作者：美国。Balay，W.D.Gropp，L.C.McInnes，B.F.史密斯 参考文献： 1589份出版物（1996-2023） 相关软件： 芬尼茨；腮腺炎；炒作；SLEPc公司；Trilinos公司；Gmsh… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
库达 软件作者：英伟达；温格尔曼，Péter；菲茨克，弗兰克H.P。 参考文献： 1069份出版物（2007-2023） 相关软件： OpenCL公司；库布拉斯；Matlab语言；尖点分析法；推力；MPI… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
雅尔米普 软件作者：约翰洛夫伯格 参考文献： 1059份出版物（2004-2023） 相关软件： 沉香；SDPT3；摩泽克；Matlab语言；宿便；gloptpoly… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
古洛比 软件作者：宗海谷；埃德·罗斯伯格；鲍勃·比克斯比；古罗比优化公司。 参考文献： 742种出版物（2010-2022年） 相关软件： CPLEX公司；SCIP；Ipopt公司；github；跳跃；莫塞克… 主要领域： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
SDPT3型 软件作者：托赫，K.C。；托德，M.J。；图坦克，R.H。 参考文献： 698份出版物（1986-2022年） 相关软件： 沉香；亚尔米普；CVX公司；SDPA；CSDP；莫塞克… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
林多 软件作者：林多系统；林友东；施拉格，莱纳斯 参考文献： 546种出版物（1982-2022年） 相关软件： 术语；林多全球；SCIP；CPLEX公司；伽马；男爵… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
鼻涕 软件作者：吉尔，菲利普E。；默里，沃尔特；桑德斯，迈克尔A。 参考文献： 547份出版物（1997-2022年） 相关软件： Ipopt公司；克尼特罗；兰斯洛特；振幅；米诺斯；更可爱… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
莫塞克 软件作者：莫塞克ApS 参考文献： 494份出版物（1999年至2023年） 相关软件： 亚尔米普；沉香；SDPT3；CVX公司；CPLEX公司；Matlab… 主要领域： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
四分体 软件作者：克拉克·格莱莫尔；理查德·舍恩斯；彼得·斯皮特斯；约瑟夫·拉姆齐 参考文献： 428种出版物（1993年至2022年） 相关软件： pcalg公司；R；MIM公司；格拉索；学习；UCI ml… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；统计（62-XX）
CGAL公司 软件作者：CGAL编辑委员会 参考文献： 370份出版物（2000-2022） 相关软件： 乐达；二维三角剖分；二维布置；三角形；促进；Qhull… 主要领域： 凸与离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）
XFEM公司 软件作者：博达斯，圣潘作家简介；阮富荣；杜南特，西里尔；阿莫尔，吉杜姆；阮党，洪 参考文献： 389份出版物（2002-2022年） 相关软件： Gmsh公司；Matlab语言；Mfree2D；阿巴克斯；CutFEM公司；Getfem++… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
MIPLIB公司 软件作者：阿彻伯格，托拜厄斯；科赫，托尔斯滕；马丁，亚历山大 参考文献： 329种出版物（1994-2022） 相关软件： MIPLIB2003；CPLEX公司；SCIP；FEASPUMP公司；优化软件基准；XPRESS… 主要领域： 变分法与最优控制；优化（49-XX）；凸与离散几何（52-XX）；数值分析（65-XX）
舌状聚合体 软件作者：迪迪埃·亨利昂；让·伯纳德·拉塞尔；约翰·洛贝格 参考文献： 326份出版物（2003-2022） 相关软件： 沉香；亚尔米普；宿便；SDPT3；Matlab语言；斯巴塞波普… 主要领域： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
优化工具箱 软件作者：数学作品；分支，硕士。；科尔曼，T。；格雷斯，A。 参考文献： 303份出版物（1994-2022） 相关软件： Matlab语言；自我；LMI工具箱；鲁棒控制工具箱；TOMLAB公司；UOBYQA… 主要领域： 数值分析（65-XX）；变形固体力学（74-XX）；运筹学，数学规划（90-XX）
CSparse公司 软件作者：戴维斯，蒂莫西A。 参考文献： 245种出版物（2006-2022年） 相关软件： SparseMatrix公司；Matlab语言；symrcm公司；腮腺炎；UMF包；帕迪索… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
可编程逻辑控制器 软件作者：弗雷德里克·邦南，穆尼尔·哈杜 参考文献： 237份出版物（1997-2022年） 相关软件： SQPlab公司；Ipopt公司；Matlab语言；格拉德萨姆普；L-BFGS；鼻涕… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
邦明 软件作者：博纳米，皮埃尔；比格勒，洛伦兹T。；康涅狄格州安德鲁R。；科努埃约尔，杰拉德；格罗斯曼，伊格纳西奥E。；莱尔德，卡尔·D。；李，乔恩；洛迪，安德里亚；玛歌，弗朗索瓦；萨瓦亚，尼古拉斯；Wächter，安德烈亚斯 参考文献： 214种出版物（1995-2022年） 相关软件： Ipopt公司；CPLEX公司；SCIP；电影公司；男爵；古罗比… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
洛库 软件作者：范德贝，罗伯特J。 参考文献： 207份出版物（1994-2022） 相关软件： 振幅；Ipopt公司；米诺斯；鼻涕；兰斯洛特；克尼特罗… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
CSDP公司 软件作者：博克斯，布莱恩 参考文献： 203份出版物（1999年至2022年） 相关软件： 沉香；SDPT3；SDPA；SDPLR；亚尔米普；SDPLIB… 主要领域： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
克尼特罗 软件作者：阿特拉斯；Ziena Optimization，R.Byrd，J.Nocedal，R.Waltz 参考文献： 195种出版物（2003-2022年） 相关软件： Ipopt公司；鼻涕；振幅；更可爱；米诺斯；伽姆斯… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）
GLPK公司 软件作者：安德鲁·马科林 参考文献： 177种出版物（2004-2022年） 相关软件： CPLEX公司；古罗比；振幅；“随心换”（XPRESS）；亚尔米普；莫塞克… 主要领域： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
广场 软件作者：J.F.Bonnans，J.Ch.Gilbert，C.Lemaréchal，C.A.Sagastizábal 参考文献： 181份出版物（2000-2022） 相关软件： PLCP；Ipopt公司；格拉德萨姆普；鼻涕；LBFGS-B型；Matlab… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
SOCS公司 软件作者：波音公司；贝茨，J.T。；哈夫曼，W.P 参考文献： 150种出版物（1999-2022） 相关软件： Ipopt公司；GPOPS公司；鼻涕；Matlab语言；奥的斯；阿卡多… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子与系统力学（70-XX）
数量 软件作者：博耶，罗伯特S。；摩尔，J.斯特罗瑟 参考文献： 139种出版物（1979-2021年） 相关软件： 霍尔；ACL2；PVS公司；成本；毫升；Nuprl… 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
汽蚀余量 软件作者：P。E、 吉尔，W.默里，M.A.桑德斯，M.H.赖特 参考文献： 144种出版物（1984-2019） 相关软件： 鼻涕；振幅；奥的斯；米诺斯；Matlab语言；兰斯洛特… 主要领域： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）
跳跃 软件作者：一。邓宁，J.Huchette，M.Lubin 参考文献： 124种出版物（2017-2022） 相关软件： 朱莉娅；古罗比；github；Ipopt公司；CPLEX公司；莫塞克… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
NETLIB LP测试集 软件作者：netlib.org网站 参考文献： 138种出版物（1991-2022） 相关软件： CPLEX公司；德维克斯；BPMPD；更可爱；HOPDM公司；洛库… 主要领域： 数理逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
明托 软件作者：G.L.Nemhauser，M.W.P.Savelsbergh，G.S.Sigismondi 参考文献： 135种出版物（1993-2021） 相关软件： CPLEX公司；算盘；MIPLIB；SCIP；奥斯陆；安培… 主要领域： 历史与传记（01-XX）；凸与离散几何（52-XX）；数值分析（65-XX）
客户尽职调查 软件作者：福田公美 参考文献： 119种出版物（1996-2022年） 相关软件： 聚甲醛；Gfan；lrs；cddplus；波尔塔；gmp… 主要领域： 代数几何（14-XX）；凸与离散几何（52-XX）；计算机科学（68-XX）
LISP-STAT公司 软件作者：卢克·蒂尔尼 参考文献： 88种出版物（1977-2019） 相关软件： R；远景；戈壁；弧；蒙德里安；MacSpin… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
算盘 软件作者：精灵，马提亚斯；古温，卡斯滕；Jünger，迈克尔；里纳尔迪，乔瓦尼 参考文献： 117种出版物（1996-2022年） 相关软件： CPLEX公司；明托；交响曲；TSPLIB公司；波尔塔；SCIP… 主要领域： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
差异包 软件作者：布鲁塞，是马格努斯；兰坦根，汉斯·佩特 参考文献： 111种出版物（1996-2021年） 相关软件： PETSc公司；拉帕克；UG公司；交易2；西兰；Matlab… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
利普先生 软件作者：加斯曼，霍兰德一世。 参考文献： 111种出版物（1990-2022年） 相关软件： 伽马；CPLEX公司；SLP-IOR；苏蒂尔；振幅；HOPDM… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
Rcparmadillo公司 软件作者：罗曼·弗朗索瓦、德克·埃德布埃特、道格·贝茨 参考文献： 48种出版物（2012-2022） 相关软件： R；Rcpp；犰狳；2号地块；尾段；克兰… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
奥斯陆 软件作者：IBM公司 参考文献： 105种出版物（1992-2018） 相关软件： CPLEX公司；明托；米诺斯；伽马；林多；KORBX… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
Biq Mac电脑 软件作者：伦德，弗兰兹；里纳尔迪，乔瓦尼；维格尔，安吉丽卡 参考文献： 93种出版物（2010-2022） 相关软件： BiqMac；CPLEX公司；SDPT3；SCIP；沉香；CSDP… 主要领域： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
犰狳 软件作者：康拉德·桑德森 参考文献： 61种出版物（2003-2022年） 相关软件： R；RcppArmadillo；Rcpp；Matlab语言；蟒蛇；本征… 主要领域： 偏微分方程组（35-XX）；统计学（62-XX）；数值分析（65-XX）
索普莱克斯 软件作者：罗兰·温德林 参考文献： 86种出版物（1996-2020） 相关软件： SCIP；CPLEX公司；MIPLIB；MIPLIB2003；硬币或；XPRESS… 主要领域： 组合数学（05-XX）；代数几何（14-XX）；数值分析（65-XX）
本索尔 软件作者：安德烈亚斯·勒尼；本杰明·韦宁 参考文献： 87种出版物（2011-2023） 相关软件： GLPK；CVX公司；CPLEX公司；古罗比；倍频程；丰富的决策… 主要领域： 功能分析（46-XX）；变分法与最优控制；优化（49-XX）；凸与离散几何（52-XX）
梅斯卡赫 软件作者：斯图尔特，大卫·E。；莱克，兹比涅夫 参考文献： 82种出版物（1994-2022） 相关软件： 克鲁诺；SIMEM3雷诺；罗达斯；路径求解器；github；Qhull… 主要领域： 数值分析（65-XX）；粒子与系统力学（70-XX）；可变形固体力学（74-XX）
Pyomo公司 软件作者：哈特，威廉E。；莱尔德，卡尔；华生，让保罗；伍德拉夫，大卫L。 参考文献： 76种出版物（2012-2022） 相关软件： 古罗比；Ipopt公司；蟒蛇；CPLEX公司；伽马；PySP… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
脂溶胶 软件作者：张茵；格雷格·斯韦里杜克 参考文献： 83种出版物（1997-2022） 相关软件： 聚碳酸酯；Matlab语言；摩泽克；HOPDM公司；洛库；McIPM… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
吝啬鬼3 软件作者：L S詹宁斯，M E Fisher，K L Teo，C J Goh 参考文献： 83种出版物（1990-2022） 相关软件： 视觉吝啬鬼；NLPQLP；Matlab语言；NLPQL；鼻涕；FFSQP（f77）… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）
滑溜 软件作者：本纳，彼得；梅尔曼，沃尔克；司马，瓦西里；范赫费尔，萨宾；瓦尔加，安得拉斯 参考文献： 84种出版物（1999-2022） 相关软件： 拉帕克；Matlab语言；mc工具箱；斯卡拉帕克；ARPACK；布拉斯… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
lp_解算 软件作者：Berkelaar M，Eikland K，Notebaert P公司 参考文献： 70种出版物（1996-2022） 相关软件： lpSolve公司；R；CPLEX公司；古罗比；Matlab语言；4ti2… 主要领域： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）
PNEW公司 软件作者：拉迪斯拉夫卢克夫山；Vlv cek，一月 参考文献： 77种出版物（1996-2022） 相关软件： 总经理；LDGB；保密协议；格拉德萨姆普；质量安全管理；SolvOpt… 主要领域： 常微分方程组（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
霍普德姆 软件作者：雅克冈齐奥，安娜·奥尔特曼，奥利维尔·埃佩利，罗伯特·萨基辛 参考文献： 75种出版物（1993-2022） 相关软件： NETLIB-LP测试集；聚碳酸酯；洛库；脂溶胶；质量保证计划；李普… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；量子理论（81-XX）
库恩 软件作者：贝洛蒂，皮埃特罗；李，乔恩；利伯蒂，利奥；玛歌，弗朗索瓦；Wächter，安德烈亚斯 参考文献： 73种出版物（2009-2022） 相关软件： 男爵；CPLEX公司；Ipopt公司；邦明；SCIP；伽姆斯… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
恢复土 软件作者：纳吉，詹姆斯G。；帕默，卡特里娜；佩罗内，丽莎 参考文献： 70种出版物（2003-2021） 相关软件： 正规化工具；红外工具；UTV；LSQR；气动工具；Matlab… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）
简单的 软件作者：阿兰，拉科塔莫尼；巴赫，弗朗西斯·R。；卡努，圣潘；外婆，伊夫 参考文献： 64种出版物（2008-2021） 相关软件： 幕府；LIBSVM；UCI毫升；穗状花序；筛选；莫塞克… 主要领域： 功能分析（46-XX）；统计学（62-XX）；计算机科学（68-XX）
广告基地 软件作者：斯特尔R.E。 参考文献： 64种出版物（1983-2019） 相关软件： 抹去；TRIMAP公司；本索尔；伽马；背包；NBI… 主要领域： 凸与离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）
生态系统 软件作者：Alexander Domahidi，Eric Chu，Santiago Akle，Han Wang 参考文献： 56种出版物（2014-2022） 相关软件： CVXPY公司；摩泽克；SCS公司；沉香；CVX发电机；亚尔米普… 主要领域： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）
CFSQP公司 软件作者：劳伦斯，C。；J、 周；A、 山雀 参考文献： 57种出版物（1996-2020） 相关软件： 鼻涕；CONOPT公司；禁忌搜索；基诺科普；轮廓/偏差；语调90… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
平板电脑 软件作者：P。阿尔帕托夫，G.贝克，C.爱德华兹，J.贡内斯，G.莫罗，J.Overfelt，R.van de Geijn和Y.J.Wu， 参考文献： 60种出版物（1998-2019） 相关软件： 斯卡拉帕克；拉帕克；布拉斯；便便袋；PETSc公司；阿特拉斯… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
过滤器QP 软件作者：罗杰·弗莱彻；斯文·莱弗 参考文献： 58种出版物（2001-2022） 相关软件： Ipopt公司；鼻涕；邦明；米诺斯；兰斯洛特；克尼特罗… 主要领域： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）
探索 软件作者：沃尔夫冈·赫德尔 参考文献： 57种出版物（1995-2014） 相关软件： R；SAS；JASP；擅长；SPSS软件；Pnuts… 主要领域： 欧氏空间的调和分析（42-XX）；统计学（62-XX）；数值分析（65-XX）
玩具 软件作者：F。J、 López Fraguas，J.Sánchez Hernández 参考文献： 56种出版物（2001-2022） 相关软件： 巴别塔；帕克斯；哈斯克尔；咖喱；子叶；莫德… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
KORBX公司 软件作者：美国电话电报公司；威廉·J·卡罗兰、詹姆斯·E·希尔、杰弗瑞·L·肯宁顿、桑德拉·尼米和斯蒂芬·J·威奇曼 参考文献： 56种出版物（1990-2018） 相关软件： IPM；米诺斯；德维克斯；CPLEX公司；PPRN；NETGEN… 主要领域： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
电影公司 软件作者：阿披实，库马尔；莱弗，斯文；林德罗斯，杰夫 参考文献： 53种出版物（2008-2022年） 相关软件： 邦明；Ipopt公司；MINLPLib；SCIP；CPLEX公司；安培… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）
卡帕拉布 软件作者：格拉比施，米歇尔；科贾迪诺维奇，伊万；梅耶，帕特里克 参考文献： 52种出版物（2007-2022） 相关软件： R；麦克白；维萨卢塔；UTA Plus；quadprog公司；背包… 主要领域： 测量与集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）
洛莉 软件作者：乔希·霍达斯；戴尔·米勒 参考文献： 50种出版物（1993-2021） 相关软件： 二层；精灵；毫升；阿贝拉；成本；贝德维尔… 主要领域： 数理逻辑与基础（03-XX）；序，格，有序代数结构（06-XX）；计算机科学（68-XX）
LPbook公司 软件作者：范德贝，罗伯特J。 参考文献： 49种出版物（2001-2021） 相关软件： NETLIB-LP测试集；洛库；Matlab语言；沉香；CPLEX公司；PDCO… 主要领域： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）
阿尔法海普 软件作者：韦斯特伦。；Pörn R。 参考文献： 50种出版物（2002-2022） 相关软件： 邦明；男爵；Ipopt公司；伽马；SCIP；林多… 主要领域： 凸与离散几何（52-XX）；统计学（62-XX）；数值分析（65-XX）
PCx公司 软件作者：泽泽克，约瑟夫；梅洛特拉，桑杰；瓦格纳，迈克尔；赖特，斯蒂芬J。 参考文献： 48种出版物（1999-2021） 相关软件： 脂溶胶；HOPDM公司；NETLIB-LP测试集；摩泽克；CPLEX公司；洛库… 主要领域： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
QSDP 软件作者：金川图；R、 H.图图努；M、 J.托德 参考文献： 47种出版物（2006-2022） 相关软件： SDPT3；QSDPNAL公司；CSDP；沉香；SDPNAL+；SNLSDP… 主要领域： 动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
XMP公司 软件作者：罗伊·E·马斯滕 参考文献： 46种出版物（1982-2002） 相关软件： AIMMS公司；振幅；米诺斯；PyPI公司；蟒蛇；近地天体… 主要领域： 凸与离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）
等离子体 软件作者：E。Agullo，J.Dongarra，B.Hadri等人。 参考文献： 41种出版物（2010-2021） 相关软件： 岩浆；拉帕克；斯卡拉帕克；布拉斯；斯塔普；库达… 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）
跳房子 软件作者：古力，A.R。 参考文献： 44种出版物（1971-2022） 相关软件： 康索尔；迪姆西姆；Matlab语言；数学；地铁；梅森网… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；流体力学（76-XX）
日本日报 软件作者：恩斯特，迈克尔D。；帕金斯，杰夫·H。；郭，菲利普J。；麦卡蒙，斯蒂芬；卡洛斯，帕切科；Tschantz，马修·S。；小陈 参考文献： 34种出版物（2005-2022） 相关软件： JML公司；埃菲尔；z3；胡迪尼；Z轴；JCrasher… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
菲亚特 软件作者：柯比，罗伯特·C。 参考文献： 40种出版物（1994-2022） 相关软件： 芬尼茨；多芬；不明飞行物；PETSc公司；FFC公司；火蜥蜴… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
保鲜膜 软件作者：马丁·格布瑟；马克斯·奥斯特罗夫斯基；托尔斯滕·肖布 参考文献： 39种出版物（2009-2022） 相关软件： 保鲜膜；卡扣；外国佬；黄蜂；ezcsp公司；钾肥公司… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
猛虎 软件作者：米诺，M。 参考文献： 39种出版物（1988-2020） 相关软件： 数据日志；HgMUS；EL2MCS；XPath；JBool；迷你卫星… 主要领域： 数理逻辑与基础（03-XX）；序，格，有序代数结构（06-XX）；计算机科学（68-XX）
产品质量计划 软件作者：迈克·格茨；赖特 参考文献： 38种出版物（2003-2022） 相关软件： qpOASES公司；拉帕克；Ipopt公司；克尼特罗；高铁；HOPDM… 主要领域： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）
PDNET公司 软件作者：葡萄牙，L.F。；再森德，M.G.C。；维加，G。；Júdice，J.J。 参考文献： 40种出版物（1996-2019） 相关软件： 迪马克；聚碳酸酯；IPM；放松；CPLEX公司；NETGEN… 主要领域： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
中电 软件作者：约翰·福雷斯特；朱利安大厅；中电团队；大卫·德拉努兹；罗宾·卢吉·海默 参考文献： 38种出版物（2006-2021） 相关软件： CPLEX公司；Cbc公司；古罗比；硬币或；SCIP；MIPLIB… 主要领域： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）
迪克特 软件作者：伊格纳西奥·格罗斯曼 参考文献： 38种出版物（1997-2022） 相关软件： 邦明；伽马；Ipopt公司；男爵；阿尔法海普；FEASPUMP… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
火焰 软件作者：比恩蒂内斯，保罗；昆塔娜·奥蒂，恩里克·S。；范德盖恩，罗伯特A 参考文献： 38种出版物（1997-2021） 相关软件： 拉帕克；布拉斯；地图集；螺旋形的；平板电脑；libflame… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
SG公司 软件作者：霍尔斯特，M.J。 参考文献： 38种出版物（2001-2022） 相关软件： APBS；FreeFem++；查尔姆；德尔菲；PDB2PQR；MIBBB… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；流体力学（76-XX）
阿德维 软件作者：阿尔普·库库克尔比尔、拉杰什·兰加纳思、安德鲁·盖尔曼、大卫·M·布莱 参考文献： 34种出版物（2017-2022） 相关软件： 斯坦；项目经理；坚果；R；阿达达三角洲；里斯坦… 主要领域： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）
异酮 软件作者：de Leeuw，J.，Hornik，K.，Mair，P。 参考文献： 28种出版物（2012-2022） 相关软件： R；国际标准化组织；PeakSeg公司；gfpop公司；对数凝析油；集成电路。推断… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
QSDPNAL公司 软件作者：李X.D.，Sun，D.F.，Toh。K、 -C。 参考文献： 33种出版物（2016-2022） 相关软件： SDPNAL+；QSDP；古罗比；CPLEX公司；Matlab语言；LIBSVM… 主要领域： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
科拉姆 软件作者：戴维斯，蒂莫西A。；吉尔伯特，约翰·R。；拉里莫尔，斯特凡一世。；Ng，Esmond G。 参考文献： 33种出版物（2000-2022） 相关软件： Matlab语言；SparseMatrix公司；UMF包；赛门德；乔莫德；拉帕克… 主要领域： 组合数学（05-XX）；偏微分方程组（35-XX）；概率论与随机过程（60-XX）
帕帕 软件作者：伯特尔斯，斯特凡；法尔，托尔斯滕 参考文献： 33种出版物（2006-2022） 相关软件： VRP；“随心换”（XPRESS）；超启发式；VRPH；盖菲；谷歌地图API… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
普韦布洛 软件作者：希尼，侯赛因M。；萨卡拉，卡雷姆A。 参考文献： 33种出版物（1998-2021） 相关软件： 迷你卫星；糠；卫星4J；公共广播系统；皮科萨；最大解算器… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
UbiCrawler公司 软件作者：P。Boldi，B.Codenotti，M.Santini，S.维格纳 参考文献： 32种出版物（2004-2022年） 相关软件： 网络图；SparseMatrix公司；墨卡托；伊鲁帕克；迪马克；快照… 主要领域： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
SLP-IOR 软件作者：梅耶卡尔尔 参考文献： 33种出版物（1992-2016） 相关软件： 李普先生；伽马；环境管理计划；振幅；苏蒂尔；HOPDM… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
Zimpl公司 软件作者：科赫，托尔斯滕 参考文献： 32种出版物（2005-2022） 相关软件： SCIP；CPLEX公司；索普勒；MIPLIB；MIPLIB2003；GLPK… 主要领域： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）
朱利布茨 软件作者：米格尔F.保罗 参考文献： 32种出版物（2015-2020） 相关软件： SDPB；PyCFTBoot；CFTs4D；数学；共形块；努比… 主要领域： 统计学（62-XX）；数值分析（65-XX）；量子理论（81-XX）
眼镜蛇 软件作者：何旭明，吴萍 参考文献： 29种出版物（1999-2022） 相关软件： R；眼镜蛇；半标准杆；加迈尔；斯巴塞姆；斯巴克舞… 主要领域： 一般性和全局性主题；收款（00-XX）；统计学（62-XX）；数值分析（65-XX）
NLPLIB公司 软件作者：霍姆斯特伦，肯尼斯；比约克曼，马蒂亚斯 参考文献： 30种出版物（1999-2020） 相关软件： 歌剧；TOMLAB公司；Matlab语言；自我；鼻涕；UOBYQA… 主要领域： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）
歌剧 软件作者：霍姆斯特伦，肯尼斯；比约克曼，马蒂亚斯；Dotzauer，埃里克 参考文献： 30种出版物（1999-2020） 相关软件： NLPLIB；TOMLAB公司；Matlab语言；自我；鼻涕；汽蚀余量… 主要领域： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）
SCL总成 软件作者：杜尚武德拉戈维奇；伊万娜，维达诺维奇；巴拉、安屯；穆鲁加南丹，保罗萨米；Adhikari，Sadhan K。 参考文献： 27种出版物（2009-2022） 相关软件： 伊杜；皮塔耶夫斯基总量；图像时间1d；库达大学；BEC-GP-OMP-FOR公司；实时3D hyb… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；光学，电磁理论（78-XX）
ISTL 软件作者：M。布拉特；P、 巴斯蒂安 参考文献： 25种出版物（2007-2021） 相关软件： 沙丘；杜穆克斯；Gmsh公司；交易2；UMF包；UG… 主要领域： 偏微分方程组（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
MCF公司 软件作者：洛贝尔，安德烈亚斯 参考文献： 27种出版物（1998-2021） 相关软件： 迪马克；CPLEX公司；“随心换”（XPRESS）；咬合；BGL公司；CS2… 主要领域： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
QSopt_前 软件作者：丹尼尔·埃斯皮诺萨、威廉·库克、桑吉布·达什、大卫·阿普盖特、凯蒂·沃尔特 参考文献： 25种出版物（2007-2020） 相关软件： QSopt精确；CPLEX公司；MIPLIB；SCIP；索普勒；gmp… 主要领域： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）
希萨特 软件作者：马丁，弗兰兹勒；赫德，克里斯蒂安 参考文献： 25种出版物（2006-2021年） 相关软件： 数学卫星；海因奇；SpaceEx公司；法弗；赦免人；RSOLVER… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子与系统力学（70-XX）
马普利克斯 软件作者：斯托伊科维奇，尼博伊夫。；Stanimirovi'c，Predrag S公司。；佩特科维奇，马尔科。；米洛伊科维奇，丹卡S。 参考文献： 26种出版物（1997-2021） 相关软件： NETLIB-LP测试集；CPLEX公司；LPbook公司；CONOPT公司；套房SPARSEQR；米诺斯… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
切尼·金凯德 软件作者：切尼，沃德；金凯，大卫 参考文献： 23种出版物（1985-2012） 相关软件： 麦克西马；Matlab语言；数学；枫树；辛根；PLTMG… 主要领域： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）
或工具 软件作者：谷歌；佩伦，L。；弗农，V。 参考文献： 24种出版物（2013-2022） 相关软件： CPLEX公司；通用电气代码；微量锌；古罗比；胖乎乎的；GitHub… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）