SCIP公司 649份文件引用(2005–2024) 软件作者： 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
BARON公司 420篇文献引用(1996–2024) 软件作者： 尼古拉斯五世·萨希尼迪斯。 相关软件： CPLEX；GAMS；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
总质量标准 360篇文献引用(1983–2023) 软件作者： 豪尔赫·莫雷。；哥伦比亚特区索伦森。 相关软件： HSL-VF05；切割机；minpack… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；炸薯条；SWI-预测… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
RealPaver公司 51篇文献引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数字 48篇文献引用(1998–2023) 软件作者： van Hentenryck，P.，Deville，Y.，Michel，L。 相关软件： 进入PT_90；实摊铺机；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TSPTW公司 43篇文献引用(2001–2023) 软件作者： 菲利波·福卡奇；安德烈亚·洛迪；米兰，米凯拉 相关软件： LKH；VRP；TSPLIB… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
全球溶胶 38篇文献引用(1999–2020) 软件作者： R.Baker Kearfott先生 相关软件： 进入PT_90；BARON公司；COCONUT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
糖 31份文件引用(2006–2023) 软件作者： 田村直之（Naoyuki Tamura） 相关软件： MiniSat；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
萨尔萨 在30份文件中引用(2000–2017) 软件作者： 弗朗索瓦·拉伯特；伊夫·卡索 相关软件： 彗星；本地化人员；Oz… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
日本石油公司 16篇文献引用(2007–2023) 软件作者： Krzysztof Kuchcinski；Radoslaw Szymanek公司 相关软件： 通用电气；微量锌；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
全球实验室 15篇文献引用（2008年至2017年） 软件作者： 穹顶，费伦茨 相关软件： BARON公司；椰子；LINDO… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国际博协 16篇文献引用(2005–2021) 软件作者： Y.利巴。 相关软件： BARON公司；数字；COCONUT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
IBEX公司 14篇文献引用(2009–2023) 软件作者： 夏伯特，G；约旦尼宁 相关软件： filib++；数字；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SO-I公司 15篇文献引用(2014–2022) 软件作者： 朱利安·米勒；Christine A.Shoemaker。；罗伯特·皮切 相关软件： NOMAD公司；EGO；MLMSRBF… 主要字段： 统计学（62-XX）；数值分析（65-XX）；地球物理学（86-XX）…
木槿 12份文件引用(2005–2021) 软件作者： Bourdais，S.、Galinier，P.、Pesant，G。 相关软件： CPLEX；古罗比；超启发式… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
NN-有效 12份文件引用(2022–2024) 软件作者： 塔克尔卡兰，普拉卡什；阿克谢·乔希（Akshay Joshi）；郑毅文；莫里茨·弗拉舍尔；劳拉·德·洛伦齐斯（Laura De Lorenzis）；悉达恩·库马尔 相关软件： CANN；亚当；火炬差异… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
铺路机 在11份文件中引用(2003–2022) 软件作者： Michael R.Bussieck。；Steven P.Dirkse。；斯特凡·维格尔斯克 相关软件： GAMS；邦明；镜头… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
减少的LP 12份文件引用(1992–2019) 软件作者： AndréL.Tits、P.-A.Absil、William P.Woessner 相关软件： rMPC；SDPT3；纽顿KKTqp… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
太阳神 10篇文献引用（1997年至2015年） 软件作者： 劳伦特·米歇尔（Laurent Michel）、帕斯卡·范·亨特利克（Pascal Van Hentenryck） 相关软件： AMPL；牛顿；FleetWave… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
PESC公司 在11份文件中引用（2016年-2023年） 软件作者： 何塞·米格尔（JoséMiguel），埃尔南德斯·洛巴托（Hernández-Lobato）；Michael A.Gelbart。；Ryan P.亚当斯。；马修·霍夫曼。；佐宾·加赫拉马尼 相关软件： EGO；青蒿；NLopt；…（可选）… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
双层 9份文件引用（2018年-2023年） 软件作者： 皮内达，S。；Bylling，H。；J.M.莫拉莱斯。 相关软件： BASBL；CPLEX；BOLIB… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
幻灯片 7份文件引用(2009–2016) 软件作者： Christian Bessiere、Emmanuel Hebrard、Brahim Hnich、Zeynep Kiziltan、Toby Walsh 相关软件： ToulBar2；CSPLib；SICStus… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
meSAT公司 7份文件引用(2014–2023) 软件作者： 米尔科·斯托贾迪诺维奇；菲利普·马里奇 相关软件： 微量锌；糖；Yices… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
轴向深度实验室 3份文件引用(2022) 软件作者： 王慧瑜、朱玉坤、布拉德利·格林、哈特维格·亚当、阿兰·尤耶、陈亮 相关软件： ViT；深度实验室；Swin变压器… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
区块SQP 6篇文献引用（2016年-2023年） 软件作者： 丹尼斯·詹卡（Dennis Janka）；柯奇，基督徒；塞巴斯蒂安·萨格尔；安德烈亚斯·瓦赫特 相关软件： Ipopt；qpOASES；L-BFGS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
梅林 5份文件引用(2015–2021) 软件作者： Robert Soulé、Shrutarshi Basu、Parisa Jalili Marandi、Fernando Pedone、Robert Kleinberg、Emin Gün Sirer、Nate Foster 相关软件： 开放式神经网络；蟒蛇；vnep-近似值… 主要字段： 计算机科学（68-XX）
PermonFLLOP公司 5份文件引用(2015–2018) 软件作者： 瓦萨托娃，阿莱娜；马丁·塞尔马克（Martin Cermak）；瓦茨拉夫·哈普拉 相关软件： PETSc；PERMON；总FETI… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
所有不同的 4份文件引用(2011–2022) 软件作者： 克里斯蒂安·贝西尔（Christian Bessiere）、尼娜·纳罗季斯卡（Nina Narodytska）、克劳德·盖·坎佩尔（Claude-Guy Quimper）、托比·沃尔什（Toby Walsh） 相关软件： 乔科；算法457；ptsplib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CCUBE公司 4份文件引用(1997–2013) 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；DEDALE… 主要字段： 计算机科学（68-XX）
coco_gop_ex公司 5份文件引用(2014–2021) 软件作者： 马科特，米哈利·萨巴；赫尔曼·施奇尔 相关软件： 椰子；BARON公司；QuadProgBB… 主要字段： 运筹学、数学规划（90-XX）
最大值 3份文件引用(2014–2021) 软件作者： Jean-Guillaume Fages；Tanguy Lapègue 相关软件： ToulBar2；AllDifferent；Choco… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
法西乐 3份文件引用(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
MSCRA库最小值（_R） 4份文件引用(2019–2022) 软件作者： 毕淑君；潘少华；孙德芬 相关软件： 无斑点；十亿卢比；Bonmin… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
ToOLS公司 4份文件引用(2005–2006) 软件作者： de Givry S.、Jeannin L。 相关软件： OPL；SALSA；建模器… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
德根 3份文件引用(2012–2022) 软件作者： 艾兹迈洛夫，A.F。；M.V.Solodov。；乌斯科夫，E.I。 相关软件： Ipopt；鼻涕虫；MacMPEC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
GMO公司 3份文件引用(2002–2008) 软件作者： 辛奇；M.H.Khammash；M.V.萨拉帕卡 相关软件： QDES公司 主要字段： 运筹学、数学规划（90-XX）；系统理论；控制（93-XX）；信息与通信理论，电路（94-XX）
草地保护区 3份文件引用(2014–2021) 软件作者： Vanaverbeke，S。；吉本斯，R。；波茨，S。 相关软件： CARMEN-MHD；闪光；地图… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ROGP公司 3份文件引用(2022) 软件作者： Johannes Wiebe、Inês Cecílio、Jonathan Dunlop、Ruth Misener 相关软件： github；GPy；皮奥莫… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；运筹学、数学规划（90-XX）
tccp公司 3份文件引用(2009–2013) 软件作者： 阿列克谢·莱斯卡伊勒（Alexei Lescaylle）；艾丽西亚·维拉纽埃娃 相关软件： CC-Pi；GHC；酯类… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
更大的 引用于2份文件(2005–2008) 软件作者： 路德维希·克里帕尔；佩德罗·巴拉奥纳 相关软件： PSICO；奇美拉；生物活性炭… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
VeriFly公司 引用于2份文件（2021年至2022年） 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；佩德罗·洛佩兹·加西亚；曼努埃尔·赫梅内吉尔多。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
DMaOEA公司 1份文件引用(2020) 软件作者： 李娟；李杰；帕诺斯·帕达洛斯（Panos M.Pardalos）。；杨成伟 相关软件： DECOR；孟买；HypE… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ManiSolve（操纵求解） 1份文件引用(2019) 软件作者： 阿里·巴哈列夫；阿诺德·诺伊梅尔；赫尔曼·施奇尔 相关软件： Dymola；github；t-SNE… 主要字段： 数值分析（65-XX）