×

找到25个软件包(结果1-25)

PSPLIB公司

294份文件引用(1997–2024)
软件作者: Rainer Kolisch;阿诺·斯普雷彻
相关软件: RanGen;LSSPER;CPLEX…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

广场广场

201份文件引用(2000–2023)
软件作者: J.F.Bonnans、J.Ch.Gilbert、C.Lemaréchal、C.A.Sagastizábal
相关软件: PLCP;Ipopt;L-BFGS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

帕拉米尔斯

96篇文献引用(2009–2024)
软件作者: Hutter,F。;胡斯,H.H。;莱顿-布朗,K。;T·斯图茨勒。
相关软件: SMAC;irace;SATZILA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

LBlock(LB锁定)

59篇文献引用(2011–2024)
软件作者: 吴文玲;张磊
相关软件: 出席;TWINE公司;西蒙…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

AI2公司

27篇文献引用(2020–2024)
软件作者: Gehr,T.、Mirman,M.、Drachsler-Cohen,D.、Tsankov,P.、Chaudhuri,S.、Vechev,M.T。
相关软件: Reluplex;马拉博;ImageNet…
主要字段: 代数几何(14-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

NESTA公司

14篇文献引用(2016–2022)
软件作者: 科夫林,C.,戈登,D.,斯科特,P。
相关软件: MATPOWER公司;莫塞克;YALMIP…
主要字段: 代数几何(14-XX);测量和集成(28-XX);数值分析(65-XX)…

iscas-Mc公司

11份文件引用(2016–2023)
软件作者: Hahn,E.M.、Li,Y.、Schewe,S.、Turrini,A.、Zhang,L。
相关软件: 棱镜;风暴;Uppaal…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

Butools公司

11份文件引用(2012–2021)
软件作者: L.Bodrog、P.Buchholz、A.Heindl、A.Horváth、G.Horvаth、I.Kolossváry、Z.Németh、P.Reinecke、M.Telek、M.Vécsei
相关软件: HyperStar;J相;PhFit…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);统计学(62-XX)…

MDL4BMF公司

10篇文献引用(2015–2022)
软件作者: Miettinen P、Vreeken J
相关软件: 克里姆;StreamKrimp;PAL-Tilling…
主要字段: 阶、格、有序代数结构(06-XX);线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX)…

PowerModels.jl公司

7份文件引用(2021–2023)
软件作者: C.Coffrin、R.Bent、K.Sundar、Y.Ng、M.Lubin
相关软件: 朱莉娅;JuMP;Ipopt…
主要字段: 运筹学、数学规划(90-XX)

国际奥委会

8份文件引用(2001–2017)
软件作者: 沃杜利斯、克里斯托斯;拉斐尔·多恩;大卫·莱辛(David Lesaint);莉特,安妮
相关软件: 本地化人员;EasyLocal++;COMET…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

FES公司

5份文件引用(2012–2023)
软件作者: E.Ozcan和E.Ersoy
相关软件: 超启发式;SPOT;json2run…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

2号管道

6篇文献引用(2013–2023)
软件作者: 尼古拉斯·丁格尔(Nicholas J.Dingle)、威廉·诺滕贝尔(William J.Knottenbelt)、塔马斯·苏托(Tamas Suto)
相关软件: MARCA;HyperStar;J阶段…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

BARD(酒吧)

6篇文献引用(2011–2022)
软件作者: 迈克尔·奥特曼(Micah Altman)、迈克尔·麦克唐纳(Michael P.McDonald)
相关软件: 公平处理;GerryChain;MIPLIB…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

MISQPN公司

5份文件引用(2012–2023)
软件作者: 奥利弗·埃克斯勒(Oliver Exler);托马斯·莱曼;克劳斯·希特科夫斯基
相关软件: MINLPLib;Ipopt;古罗比…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

迪特

2份文件引用(2020–2021)
软件作者: Zerrahn,A.,Schill,W.-P。
相关软件: 皮普萨;朱利亚;任何MOD…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

IPET公司

4份文件引用(2019–2022)
软件作者: 亨德尔,G。
相关软件: MIPLIB2003;MIPLIB公司;SCIP…
主要字段: 运筹学、数学规划(90-XX)

Verisig公司

4份文件引用(2021–2022)
软件作者: 拉多斯拉夫·伊万诺夫;Taylor Carpenter;詹姆斯·韦默(James Weimer);拉杰夫·阿鲁尔;乔治·帕帕斯(George Pappas);李因苏普
相关软件: NNV;Reluplex;AI2…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

ASC-1型

2份文件引用(2012–2016)
软件作者: 戈斯·雅基莫斯基;萨曼特·卡朱里亚
相关软件: LEX;西蒙;古罗比
主要字段: 信息与通信理论,电路(94-XX)

JANOS公司

2份文件引用(2021–2022)
软件作者: 大卫·伯格曼;黄腾;菲利普·布鲁克斯;安德烈亚·洛迪;阿文德·拉古纳森(Arvind U。
相关软件: Scikit;古罗比;JuMP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

OpenGraphGym开放图形健身房

在0个文档中引用
软件作者: 郑伟建;王大理
相关软件: 生态;OpenAI健身房;Python…
主要字段:

skpr公司

在0个文档中引用
软件作者: Tyler Morgan-Wall,乔治·库里
相关软件: lme4;simr;conf.设计…
主要字段:

SolarPILOT公司

2份文件引用(2020年-2023年)
软件作者: Mj Wagner;温德林,T。
相关软件: PySAM;github;贝叶斯优化…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

电路TSAT

1份文件引用(2016)
软件作者: B.纳尔逊、库马尔、T.K.S。
相关软件: NuMVC;Potassco;帝国…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

RefShannon公司

1份文件引用(2022)
软件作者: Mao,S.等人。
相关软件: HISAT;鲑鱼;古罗比…
主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

筛选结果依据…

全部的 前5名

相关软件