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)