BARON公司 420篇文献引用(1996–2024) 软件作者： 尼古拉斯·萨希尼迪斯。 相关软件： CPLEX；GAMS；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SVM灯 214篇文献引用（2000年-2023年） 软件作者： 托尔斯滕·约阿希姆斯 相关软件： LIBSVM；UCI-ml；SVMTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
美食 101篇文献引用(2012–2024) 软件作者： Tang，Ping Tak Peter；埃里克·波利齐 相关软件： CIRR；lobpcg.m；JDQZ… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
J平均值 76篇文献引用(2001–2022) 软件作者： 皮埃尔·汉森（Pierre Hansen）；内纳德·姆拉德诺维奇 相关软件： UCI-ml；TSPLIB；clusterfind… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TTTPLOTS公司 70篇文献引用(2007–2024) 软件作者： Aiex，Renata M。；莫里西奥·雷森德（Mauricio G.C.Resende）。；塞尔索·C·里贝罗。 相关软件： PERL；GRASP；irace… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
RealPaver公司 51份文件中引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
野牛 45篇文献引用(1997–2023) 软件作者： Scholl，A.、Klein，R.、Jürgens，C。 相关软件： OR-库；CPLEX；背包… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SNLSDP公司 40篇文献引用(2006–2023) 软件作者： Kim-Chuan Toh、Pratik Biswas、Yinyu Ye 相关软件： 塞杜米；SFSDP；SDPT3… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
个人数据网 40篇文献引用(1996–2019) 软件作者： 葡萄牙，L.F。；重发，M.G.C。；Veiga，G。；Jüdice，J.J。 相关软件： DIMACS；综合项目管理；PCx… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
交响曲 40篇文献引用(2001–2022) 软件作者： Ladányi，拉斯洛；泰德·K·拉尔夫。；莱斯利·琼·特罗特 相关软件： CPLEX；阿巴克斯；MINTO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
开花IV 37篇文献引用(1999–2023) 软件作者： 威廉·库克；安德烈·罗赫 相关软件： 开花V；TSPLIB；DIMACS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
LSSPER公司 28篇文献引用(2004–2023) 软件作者： 帕潘，米雷勒；Artigues，基督教；菲利普·米歇隆 相关软件： PSPLIB；分散搜索；进展… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
技术史学会 30篇文献引用(2016–2023) 软件作者： Kronqvist，Jan；安德烈亚斯·伦德尔；塔皮奥·韦斯特伦德 相关软件： 邦明；Ipopt；SCIP… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；数值分析（65-XX）…
CCLS公司 26篇文献引用(2015–2023) 软件作者： 罗，C。；蔡，S。；Wu，W。；杰，Z。；苏，K。 相关软件： MaxHS；周六4j；QMaxSAT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
帕拉库巴 24篇文献引用(2020–2023) 软件作者： 马克西米利安·海辛格；马蒂亚斯·弗勒里；阿明·比尔 相关软件： CaDiCaL；Kissat公司；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
NP-SPEC公司 21篇文献引用(1999–2022) 软件作者： 马可·卡多利；乔瓦姆巴蒂斯塔·伊安尼；路易吉·帕洛波利；安德烈·谢尔夫（Andrea Schaerf）；多梅尼科·瓦西莱 相关软件： 烟雾；ESRA；图形库… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
隐式LNL方法 18篇文献引用(2017–2023) 软件作者： 西达法·孔德；西格尔·戈特利布；Grant，Zachary J。；约翰·沙迪德（John N.Shadid）。 相关软件： imexLNL；github；RODAS… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
HordeSat卫星 13份文件引用(2015–2023) 软件作者： 托马斯·巴利奥；彼得·桑德斯；卡斯滕·辛兹 相关软件： ManySAT；褶皱；MiniSat… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ACGSSV公司 15篇文献引用(2017–2023) 软件作者： 内库莱·安德烈 相关软件： 切割机；SCALCG；可爱… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SO-I公司 15篇文献引用(2014–2022) 软件作者： 朱利安·米勒；Christine A.Shoemaker。；罗伯特·皮切 相关软件： NOMAD公司；EGO；MLMSRBF… 主要字段： 统计学（62-XX）；数值分析（65-XX）；地球物理学（86-XX）…
GBO公司 13份文件引用(2020–2024) 软件作者： 艾哈迈迪纳法·伊曼；博佐尔格·哈达德（Bozorg-Haddad），奥米德（Omid）；朱雪峰 相关软件： GWO；GSA；SSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
快速功能设计 10篇文献引用（2001年至2020年） 软件作者： 凯瑟琳·怀斯；克里斯·吉安内拉（Chris Giannella）；爱德华·罗伯逊 相关软件： 丹宁酸；UCI-ml；多重视觉… 主要字段： 阶、格、有序代数结构（06-XX）；统计学（62-XX）；计算机科学（68-XX）
十二国集团 10篇文献引用(2005–2018) 软件作者： Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；Michael Maher；Kim万豪酒店；约翰·斯莱尼；佐尔坦·索莫吉；马克·华莱士；托比·沃尔什 相关软件： 微量锌；SCIP；本质… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
MOAPPS公司 在11份文件中引用(2001–2019) 软件作者： 巴卡索格鲁，A。 相关软件： 禁忌搜索；林多；LINGO… 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）
链卫星 8份文件引用(2010–2020) 软件作者： M.Alava、J.Ardelius、E.Aurell、P.Kaski、S.Krishnamurthy、P.Orponen、S.Seitz 相关软件： 步行卫星；ManySAT；TTTPLOTS… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
DFLGEN公司 10篇文献引用(2015–2022) 软件作者： Giampaolo Liuzzi；露西迪、斯特凡诺；弗朗西斯科·里纳尔迪 相关软件： DFLBOX；DFL；野马… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
国内流离失所者3 9份文件引用(2015–2020) 软件作者： 莫里斯·布鲁诺（Maurice Bruynooghe）；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·扬森；安东尼·拉巴雷；Ramon，Jan；马克·德内克（Marc Denecker）；四川省韦尔市 相关软件： 卡环；WASP；DLV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
马戏团 9份文件引用(2004–2017) 软件作者： Jin，HoonSang；法比奥·萨蒙齐 相关软件： 查夫；CUDD；zChaff… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
QCMPI公司 引用于7份文件(2009–2018) 软件作者： 弗兰克·塔巴金（Frank Tabakin）；布鲁诺朱利亚·迪亚斯 相关软件： QCWAWE；量子密度；数学… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RealPlan（实际计划） 9份文件引用(2001–2008) 软件作者： 斯利瓦斯塔瓦，比普拉夫；Subbarao Kombhampati；做，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SEISCOPE公司 8份文件引用（2016年至2024年） 软件作者： L.Meítiver、R.Brossier 相关软件： L-BFGS；MUMPS；SMIwiz… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DIRDFN公司 8份文件引用(2016–2021) 软件作者： Di Pillo，G。；刘齐，G。；Lucidi，S。；Piccialli，V。；F.里纳尔迪。 相关软件： DIRECT先生；直接；TESTGO… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
国际奥委会 8份文件引用(2001–2017) 软件作者： 沃杜利斯、克里斯托斯；拉斐尔·多恩；大卫·莱辛（David Lesaint）；安妮·利雷特 相关软件： 本地化人员；EasyLocal++；彗星… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SAT时CUD 6篇文献引用(2016–2021) 软件作者： A.Dal Pal'u、A.Dovier、A.Formisano、E.Pontelli 相关软件： ManySAT；玲玲；弯曲… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MC73型 引用于7份文件(2005–2020) 软件作者： Murat Mangooglu；埃里克·考克斯；费萨尔·赛义德；艾哈迈德·萨米赫；胡，Y.F.，斯科特，J.A。 相关软件： 稀疏矩阵；HSL；PSPIKE… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BACP公司 4份文件引用(2005–2014) 软件作者： 托尼·兰伯特（Tony Lambert）；卡斯特罗，卡洛斯；埃里克·蒙弗罗伊（Eric Monfroy）；里夫，玛丽亚·克里斯蒂娜；沙特，弗雷德里克 相关软件： CSPLib；EasyLocal公司++ 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GGSA公司 6篇文献引用（2016年至2022年） 软件作者： Mohammad Bagher Dowlatshahi，侯赛因·内扎马巴迪·普尔 相关软件： GSA；ABC；Apache Spark… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
gpuls-mwcp 6篇文献引用(2018–2022) 软件作者： 布鲁诺·诺盖拉；皮涅罗（Rian G.S.Pinheiro）。 相关软件： ils-mwis；SCCWalk；CUDA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
NeMa公司 6篇文献引用(2014–2022) 软件作者： A.Khan、Y.Wu、C.C.Aggarwal、X.Yan 相关软件： Fg指数；TALE公司；自由基… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
TSP模拟 3份文件引用(2009–2012) 软件作者： 乌尔，艾巴尔；多安·艾丁 相关软件： TSPLIB；欧洲法院；VRP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
OEIG公司 5份文件引用(2013–2022) 软件作者： 达斯，萨普塔什；阿诺德·诺伊梅尔 相关软件： Matlab；切布芬；JDQZ… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；算子理论（47-XX）…
工作包2 4份文件引用(2016–2017) 软件作者： Carlos Ansótegui、Maria Luisa Bonet、Joel Gabás、Jordi Levy 相关软件： 周六4j；最大HS；MiniMaxSat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
产量 5份文件引用(2007–2021) 软件作者： 瓦法卡鲁伊；Marie-JoséHuguet；皮埃尔·洛佩兹（Pierre Lopez）；Wady Naanaa 相关软件： 自由裁量权；帝国；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
ACDS公司 4份文件引用(2019–2021) 软件作者： 沃龙佐娃，E.A。；Gasnikov，A.V。；E.A.戈尔布诺夫。 相关软件： github；塞杜米；UNLocBoX… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
C返回 3份文件引用(2017–2019) 软件作者： K.Helsgaun公司 相关软件： 查夫；彗星；Gecode… 主要字段： 组合数学（05-XX）；数论（11-XX）；运筹学、数学规划（90-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
NLocalSAT（非本地卫星） 3份文件引用(2021–2023) 软件作者： 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 相关软件： CCAnr；YalSAT；玲玲… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ParSSSE公司 4份文件引用(2011–2018) 软件作者： 孙燕华；郑耿彬；普里蒂什·杰特利；Laxmikant V.卡莱。 相关软件： GAMS；ParaSCIP；卵石… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PNKH-B公司 4份文件引用(2021–2022) 软件作者： Kan，Kelvin；冯淑仪；拉斯·鲁索托 相关软件： ADMM-Softmax；ODL；DeepAdverserialRegulariser… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
QSPLINE公司 4份文件引用(2003–2015) 软件作者： 李，吴；德尼伊斯，J.J。 相关软件： AAFAC；CVXGEN；qpHPSC… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SeaPearl公司 4份文件引用(2021–2023) 软件作者： 费利克斯Chalumeau；伊兰·库隆；瓶盖，昆廷；卢梭，路易斯·马汀 相关软件： NeuroSAT；AlphaGo；亚当… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SODOCK公司 3份文件引用(2010–2018) 软件作者： Chen，H.M。；刘，B.F。；黄，H.L。 相关软件： GalaxySite；银河码头；停靠应用程序… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
工具 4份文件引用(2005–2006) 软件作者： de Givry S.、Jeannin L。 相关软件： OPL；SALSA；建模器… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
英国电话号码 3份文件引用(1992–2009) 软件作者： 斯蒂芬·纳什（Stephen G.Nash）。；阿丽埃拉·索弗 相关软件： ve08；LINPACK；BBVSCG公司 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
CONMAX公司 3份文件引用(1995–2014) 软件作者： 考夫曼，E.H.jun。；D.J.Leeming。；G.D.泰勒。 相关软件： – 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
csminwel公司 2份文件引用(2013–2014) 软件作者： 克里斯托弗·西姆斯 相关软件： 塞杜米；优化软件基准；NCAlgebra… 主要字段： 一般代数系统（08-XX）；交换代数（13-XX）；算子理论（47-XX）…
k-邻居 3份文件引用(2014–2016) 软件作者： Denis D.Mauá。；法比奥·科兹曼。 相关软件： 冰雹探测器；ElemStatLearn（电子状态学习） 主要字段： 统计学（62-XX）；计算机科学（68-XX）
帕萨特 3份文件引用(2006–2009) 软件作者： Shi，J.、Fey，G.、Drechsler，R.、Glowatz，A.、Hapke，F.、Schlöffel，J。 相关软件： 汉尼拔；苏格拉底；HITEC… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
上升 3份文件引用(2016–2019) 软件作者： Kahlert，L。；Krüger，F。；Manthey，N。；A.斯蒂芬。 相关软件： Reluplex；RecurJac；Open-WBO… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
3BA公司 2份文件引用(2018) 软件作者： Horáček，一月；马丁·克鲁泽 相关软件： LELA；GBLA；安东尼… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
Fixcon公司 2份文件引用(2020–2021) 软件作者： 科穆塞维茨（Christian Komusewicz）；弗兰克·索默 相关软件： 卡沃什；FANMOD公司；科内克特 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： 迷你卫星；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
格雷斯珀 1份文件引用(2009) 软件作者： R.D.维耶加斯；F.A.阿泽夫多 相关软件： CPGraph；CaSPER；红衣主教 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
利普曼_施温格 2份文件引用(2022–2023) 软件作者： 瓦什纳维古朱拉；西瓦拉姆·安比卡萨兰 相关软件： HODLR库；促进；DLMF… 主要字段： 势能理论（31-XX）；偏微分方程（35-XX）；数值分析（65-XX）
MSMA公司 2份文件引用(2023) 软件作者： 邓凌云；刘三阳 相关软件： SSA；AOA；GWO… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
光学卫星 2份文件引用(2006–2013) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马可·马拉提亚 相关软件： 迷你卫星；鸦片；MSUnCore… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PMS5系列 2份文件引用(2013) 软件作者： H.Dinh、S.Rajasekaran、V.K.Kundeti 相关软件： RecMotif；意大利调味饭；泰瑞西亚斯… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
DryadOpt公司 1份文件引用（2015年） 软件作者： 布迪乌，M.，德林，D.，韦内克，R.F。 相关软件： JOSTLE；卡夫帕；苏格兰威士忌… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）
永久_日期 1份文件引用(2018) 软件作者： 伊鲁鲁兹基（Irurozki，Ekhine）；乔苏·塞贝里奥（Josu Ceberio）；Josean Santamaria；桑塔纳，罗伯托；亚历山大·门迪布鲁 相关软件： Matlab；佩尔马尔洛 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
解算器-o-matic 1份文件引用(2020) 软件作者： N.卡米萨 相关软件： 罗马；PBNCGC；ADiGator… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）
ZDC公司 1份文件引用(2007) 软件作者： 曾荫权；约翰·福特；帕特里克·米尔斯（Patrick Mills）；理查德·布拉德威尔（Richard Bradwell）；理查德·威廉姆斯；保罗·斯科特 相关软件： DiSCiPl；木槿；Excel… 主要字段： 运筹学、数学规划（90-XX）
RNAi折叠2T 在0个文档中引用 软件作者： 胡安·安东尼奥·加西亚-马汀（Juan Antonio Garcia-Martin）、伊万·多图（Ivan Dotu）、哈维尔·费尔南德斯·卡莫罗（Javier Fernandez-Chamorro）、格洛丽亚·洛扎诺（Gloria Lozano）、豪尔赫·拉马乔（Jorge Ramajo）、恩 相关软件： – 主要字段： –