禁忌搜索 1027份文件引用(1991–2022) 软件作者: 弗雷德·格洛弗(Fred Glover);埃里克·泰勒;多米尼克·德韦拉 相关软件: 分散搜索;CPLEX;VRP… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
稀疏矩阵 838份文件引用(1997–2024) 软件作者: 蒂莫西·戴维斯(Timothy A Davis);胡一凡 相关软件: mctoolbox;LAPACK;Matlab… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
四分体 483份文件引用(1993–2024) 软件作者: 克拉克·格雷摩尔(Clark Glymour);理查德·谢恩斯(Richard Scheines);彼得·斯皮特斯;约瑟夫·拉姆齐 相关软件: pcalg;R;bn学习… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…
SMAC公司 109篇文献引用(2010–2023) 软件作者: 弗兰克·赫特(Frank Hutter)、霍尔格·胡斯(Holger Hoos)、凯文·莱顿·布朗(Kevin Leyton-Brown)、凯文·墨菲(Ke文·墨菲)、史蒂夫·拉马奇(Steve Ramage) 相关软件: 帕拉米尔斯;薄荷;irace… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
细胞景观 在48份文件中引用(2007–2023) 软件作者: Shannon P、Markiel A、Ozier O、Baliga NS、Wang JT、Ramage D、Amin N、Schwikowski B、Ideker T 相关软件: KEGG;R;国际法… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
ParEGO公司 66份文件引用(2005–2023) 软件作者: 约书亚·诺尔斯;埃文·休斯。 相关软件: EGO;MOEA/D;SPEA2… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
自动分类 36篇文献引用(1992–2021) 软件作者: 约翰·斯图兹;彼得·齐斯曼 相关软件: UCI-ml;C4.5;clusfind… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
高效网络 41篇文献引用(2019年-2023年) 软件作者: 谭明兴,Quoc V.Le 相关软件: ImageNet;AlexNet;CIFAR… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
捕图者 28篇文献引用(2001–2014) 软件作者: I.J.Cox、M.L.Miller、S.M.Omohundro、P.N.Yianilos、, 相关软件: VisualSEEk;PicToSeek;NeTra… 主要字段: 统计学(62-XX);计算机科学(68-XX)
Pc获取 46篇文献引用(2000–2021) 软件作者: Perez-Amaral,Teodosio;Giampiero M.Gallo。;怀特,哈尔伯特 相关软件: PcGive;公牛;ElemStatLearn… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
巴基斯坦国家税务局 42篇文献引用(1996年-2023年) 软件作者: Hantao Zhang、Maria Paola Bonacina、Jieh Xiang 相关软件: SATO;MiniSat;箔条… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
SSS系统 44篇文献引用(2007–2023) 软件作者: 克里斯·汉斯;阿德里安·多布拉(Adrian Dobra);韦斯特,迈克 相关软件: EMVS;glmnet;玻璃… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
GHC公司 36篇文献引用(1986–2014) 软件作者: Kazunori上田 相关软件: PARLOG;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
椰子 引用于40篇文献(2003–2023) 软件作者: Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot 相关软件: BARON公司;全球溶胶;AMPL… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
PILCO公司 39篇文献引用(2014–2023) 软件作者: M.Deisenroth;C.拉斯穆森 相关软件: OpenAI健身房;亚当;TensorFlow… 主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…
GNMT公司 35篇文献引用(2018–2023) 软件作者: 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯,杰森·里萨(Jason Riesa)、亚历克斯·鲁德尼克(Alex Rudnick 相关软件: ImageNet;AlexNet;亚当… 主要字段: 近似和展开(41-XX);统计学(62-XX);计算机科学(68-XX)…
图案猎人 29篇文献引用(2004–2020) 软件作者: Ma,B.,Tromp,J.,Li,M。 相关软件: 虾;BLAT;消音器… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…
生物模型 32篇文献引用(2008–2022) 软件作者: Le Novere,N.、Bornstein,B.、Broicher,A.、Courtot,M.、Donizelli,M.,Dharuri,H.、Li,L.、Sauro,H.,Schilstra,M..、Shapiro,B.、Snoep,J.L.、Hucka,M 相关软件: COPASI;KEGG;z3… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
爪哇风扇 30篇文献引用(2004–2018) 软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌 相关软件: 莫德;K校准仪;MMT… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
达尔文 28篇文献引用(2005–2023) 软件作者: Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件: E-Darvin;TPTP;iProver… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
DirectLiNGAM公司 28篇文献引用(2011–2023) 软件作者: 清水秀;Takanori Inazumi;松川康弘;阿波·海瓦里宁;川原幸男;和雄隆(Takashi Washio);Patrik O.Hoyer;肯尼思·博伦 相关软件: 四分体;学习;glmnet… 主要字段: 组合数学(05-XX);功能分析(46-XX);概率论与随机过程(60-XX)…
遗传算法和直接搜索工具箱 27篇文献引用(2002–2018) 软件作者: – 相关软件: Matlab;GAToolBox;基因组学… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
希格斯边界 28篇文献引用(2010–2023) 软件作者: P.Bechtle、O.Brein、S.Heinemeyer、G.Weiglein、K.E.Williams 相关软件: 希格斯信号;莎拉;斯费诺… 主要字段: 统计学(62-XX);数值分析(65-XX);量子理论(81-XX)…
洛拉 26篇文献引用(2000–2021) 软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。 相关软件: 玛丽亚;Uppaal;BPEL2PN… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
OFMC公司 25篇文献引用(2005–2022) 软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺 相关软件: AVISPA;NRL;卡斯珀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
TENSOLVE公司 28篇文献引用(1993–2022) 软件作者: 阿里·布瓦里查(Ali Bouaricha);罗伯特·施纳贝尔。 相关软件: minpack;MINPACK-2;MPSalsa… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…
ArnetMiner公司 23篇文献引用(2012–2023) 软件作者: J.Tang、J.Zhang、L.Yao、J.Li、L.Zhang、Z.Su 相关软件: DeepWalk;node2vec;单词2vec… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
艺术3 16篇文献引用(1992–2012) 软件作者: 盖尔·卡彭特(Gail A.Carpenter);斯蒂芬·格罗斯伯格 相关软件: 模糊ARTMAP;UCI-ml;LVQPAK… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
ASTRAL-II标准 25篇文献引用(2002–2023) 软件作者: S.Mirarab、T.Warnow 相关软件: ASTRID公司;巴基;RAxML… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
希格斯信号 25篇文献引用(2014–2023) 软件作者: P.Bechtle、S.Heinemeyer、O.Stál、T.Stefaniak、G.Weiglein 相关软件: 希格斯边界;莎拉;斯费诺… 主要字段: 概率论与随机过程(60-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
谜 25篇文献引用(2017–2023) 软件作者: Jakubův,J.,Urban,J。 相关软件: E定理证明器;VAMPIRE公司;FEMaLeCoP… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
FSDA公司 23篇文献引用(2013–2022) 软件作者: Riani M、Perrotta D、Torti F 相关软件: robustbase;TCLUST;mclust… 主要字段: 统计学(62-XX)
贝德维尔 21篇文献引用(2007–2022) 软件作者: David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu 相关软件: Twelf公司;阿贝拉;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
clustvarsel公司 21篇文献引用(2010–2022) 软件作者: Nema Dean、Adrian E.Raftery、Luca Scrucca 相关软件: 麦克卢斯特;R;PGMM… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
日本石油公司 16篇文献引用(2007–2023) 软件作者: Krzysztof Kuchcinski;Radoslaw Szymanek公司 相关软件: 通用电气;微量锌;Choco… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
皇家卫星 18篇文献引用(2008–2016) 软件作者: 结Pipatsrisawat;阿德南·达尔维什 相关软件: MiniSat;糠;PicoSAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
统计学工具箱 18篇文献引用(1999–2022) 软件作者: 迈斯沃克 相关软件: Matlab;麦克利埃塞;SuiteSparse… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…
HMMER公司 12份文件引用(2006–2019) 软件作者: Robert D.Finn、Jody Clements、Sean R.Eddy 相关软件: ClustalW;UniProt;肌肉… 主要字段: 总体主题;藏品(00-XX);欧氏空间(42-XX)的调和分析;统计学(62-XX)…
CIXL2号机组 17篇文献引用(2005–2014) 软件作者: Ortiz-Boyer,D。;埃尔瓦斯·马丁内斯,C。;北卡罗来纳州加西亚·佩德拉哈斯。 相关软件: 基因组学;ABC;LIBSVM… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
埃沃利诺 12份文件引用(2007–2021) 软件作者: 施密杜贝尔,J.,维斯特拉,D.,戈麦斯,F.J。 相关软件: 发条RNN;LSTM;darch… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
洛尔 6篇文献引用(2002–2010) 软件作者: McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。 相关软件: XPath;XQuery;ViST… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
semprop公司 17篇文献引用(2002–2022) 软件作者: 莱茨,莱因霍尔德 相关软件: Quaffle;布洛克;QUBOS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
局部解算器 18篇文献引用(2010–2023) 软件作者: 蒂埃里·贝诺伊斯特(Thierry Benoist);伯特兰·埃斯特隆;弗雷德里克·加迪;罗曼·梅格尔(Romain Megel);卡里姆·努伊奥瓦 相关软件: 彗星;CPLEX;SCIP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
SeqGAN公司 16篇文献引用(2018–2023) 软件作者: 余兰涛、张卫南、王军、余勇 相关软件: Wasserstein GAN;Tensor2传感器;像素x像素… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);统计学(62-XX)…
神经装配工 15篇文献引用(2008–2023) 软件作者: Van Geit,W。;De Schutter,E。;阿查德,P。 相关软件: 神经元;EnKF;Matlab… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
OPTYap公司 在14份文件中引用(2001–2022) 软件作者: 里卡多·罗查;费尔南多·席尔瓦;维托尔·桑托斯·科斯塔 相关软件: XSB;YAP-Prolog;YapOr… 主要字段: 计算机科学(68-XX)
SO-I公司 15篇文献引用(2014–2022) 软件作者: 米勒,朱利安;鞋匠Christine A。;罗伯特·皮切 相关软件: NOMAD公司;EGO;MLMSRBF… 主要字段: 统计学(62-XX);数值分析(65-XX);地球物理学(86-XX)…
目标 在14份文件中引用(2014–2023) 软件作者: 达丰塞卡(da Fonseca),乔治·恩里克·戈迪姆(George Henrique Godim);桑托斯、哈罗德·甘比尼;马查多·托福洛,托利奥·恩吉洛;塞缪尔·索扎·布里托(Samuel Souza Brito);弗雷塔斯·苏扎(Freitas Souza)、马可内·贾米尔森(Marcone Jamilson) 相关软件: XHSTT;irace;超启发式… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
芙蓉 12份文件引用(2005–2021) 软件作者: Bourdais,S.、Galinier,P.、Pesant,G。 相关软件: CPLEX;古罗比;超启发式… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
metatah2vec 13份文件引用(2018–2023) 软件作者: Yuxiao Dong、Nitesh V Chawla、Ananthram Swami 相关软件: DeepWalk;node2vec;行… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
水族馆 13份文件引用(2013年-2023年) 软件作者: 隆美尔·里吉斯。;克里斯汀·舒梅克(Christine A.Shoemaker)。 相关软件: EGO;MLMSRBF;野马… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
DeepXlore公司 10篇文献引用(2019年-2023年) 软件作者: 裴可欣、曹银芝、杨俊峰、苏曼·贾纳 相关软件: 深度愚人;ImageNet;重新连接… 主要字段: 偏微分方程(35-XX);统计学(62-XX);计算机科学(68-XX)…
evtree公司 10篇文献引用(2015–2022) 软件作者: 托马斯·格拉宾格(Thomas Grubinger)、阿奇姆·泽利斯(Achim Zeileis)、卡尔·彼得·菲佛(Karl-Peter Pfeiffer) 相关软件: rpart;R;C4.5… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
太阳 8份文件引用(2011–2019) 软件作者: L.Zhang、M.H.Tong、T.K.Marks、H.Shan和G.W.Cottrell 相关软件: gbvs;盐度工具箱;抓取切割… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
无间道 7份文件引用(2010–2018) 软件作者: Nawrocki EP、Kolbe DL、Eddy SR 相关软件: 法国复兴信贷银行;R;ClustalW… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…
TINKER公司 10篇文献引用(2002–2024) 软件作者: 华盛顿大学医学院;Ponder,J.等人 相关软件: 琥珀色;NDL;VTDIRECT95… 主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…
第3章 10篇文献引用(2010–2020) 软件作者: 弗朗西斯科·杜兰;何塞·梅塞盖尔 相关软件: 莫德;CRC 3;MTT… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
Decogo公司 11份文件引用(2018–2023) 软件作者: 伊沃·诺瓦克;诺曼·布雷特菲尔德;Eligius M.T.亨德里克斯。;格列盖省Njacheun-Njanzoua 相关软件: Ipopt;皮奥莫;SCIP… 主要字段: 运筹学、数学规划(90-XX)
DEFT公司 8份文件引用(2019年-2023年) 软件作者: 本·格里帕奥斯(Ben Gripaios)、戴夫·萨瑟兰(Dave Sutherland) 相关软件: 基本发电机;匹配工具;CoDEx… 主要字段: 可变形固体力学(74-XX);量子理论(81-XX);相对论和引力理论(83-XX)
十二国集团 10篇文献引用(2005–2018) 软件作者: Peter J.Stuckey。;玛丽亚·加西亚·德拉·班达;迈克尔·马赫;Kim万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 相关软件: 微量锌;SCIP;本质… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
MOAPPS公司 11份文件引用(2001–2019) 软件作者: Baykasoglu,A。 相关软件: 禁忌搜索;林多;LINGO… 主要字段: 数学逻辑与基础(03-XX);运筹学、数学规划(90-XX)
MotifCut公司 10篇文献引用(2008–2023) 软件作者: 尤金·弗拉特金、布莱恩·诺顿、道格拉斯·布鲁特拉格、塞拉菲姆·巴佐格鲁 相关软件: github;DIMACS;快照… 主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…
比基亚 11份文件引用(2003–2020) 软件作者: 梅特卡夫,特拉维斯·S。;保罗·夏波诺 相关软件: 基因组学;凯拉斯;Scikit… 主要字段: 统计学(62-XX);计算机科学(68-XX);量子理论(81-XX)…
软POSIT 7份文件引用(2002–2022) 软件作者: 菲利普·戴维;Daniel DeMenthon;拉马尼,杜蕾斯瓦米;哈南·萨米特 相关软件: 软剪刀;线圈100;抓取切割… 主要字段: 常微分方程(34-XX);统计学(62-XX);计算机科学(68-XX)…
阀杆hy 10篇文献引用(2011–2022) 软件作者: 劳拉·库巴特科(Laura S.Kubatko)。;布莱恩·卡斯滕斯(Bryan C.Carstens)。;Knowles,L.Lacey 相关软件: SVD四重奏;ASTRAL-II;ASTRID… 主要字段: 组合数学(05-XX);统计学(62-XX);生物学和其他自然科学(92-XX)…
Hadamard搜索 10篇文献引用(2006–2018) 软件作者: 维克托·阿尔瓦雷斯·索拉诺;何塞·安德烈斯·阿马里奥·桑帕洛;玛丽亚·多洛雷斯-加西亚夫人;佩德罗·雷亚·尤拉多 相关软件: 数学;Kenzo;间隙… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX)…
国内流离失所者3 引用于9份文件(2015–2020) 软件作者: 莫里斯·布鲁诺(Maurice Bruynooghe);亨德里克·布洛克(Hendrik Blockeel);博加特,巴特;De Cat,Broes;德普特(De Pooter,Stef);约阿希姆·詹森;安东尼·拉巴雷;Ramon,Jan;马克·德纳克;四川省韦尔市 相关软件: 卡环;WASP;DLV… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
游猎 8份文件引用(2014–2020) 软件作者: Alberti,F.、Bruttomesso,R.、Ghilardi,S.、Ranise,S.和Sharygina,N。 相关软件: Mcmt;z3;助推器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CoCo公司 6篇文献引用(2002–2018) 软件作者: Badsberg JH公司 相关软件: MIM;R;mclust… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
CP优化器 引用于9份文件(2015–2023) 软件作者: 菲利普·拉博里;杰罗姆·罗杰里 相关软件: ILOG时间表;PSPLIB;迷你锌… 主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
深啄 引用于9份文件(2019年-2023年) 软件作者: 阿伦·戈尔 相关软件: 西蒙;SPECK;SIMECK… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
中非合作论坛 引用于9份文件(1994–2009) 软件作者: 阿迪尔·巴卡索格鲁;新泽西州纳比尔·金迪。 相关软件: GAMS游戏 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
MOGOA公司 引用于9份文件(2018–2024) 软件作者: 米尔贾利利,S.Z。;米尔贾利利,S。;萨雷米,S。;Faris,H。;I·阿尔贾拉。 相关软件: GWO;穆阿洛;MOGWO… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
PaGMO公司 6篇文献引用(2014–2023) 软件作者: 弗朗西斯科·比斯卡尼(Francesco Biscani)、达里奥·伊佐(Dario Izzo)、奇·洪扬(Chit Hong Yam) 相关软件: PaGMO/PyGMO;SciPy;Python… 主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…
潘达波(Pandapower) 在0个文档中引用 软件作者: 莱昂·瑟纳(Leon Thurner)、亚历山大·谢特勒(Alexander Scheidler)、弗洛里安·谢弗(Florian Schäfer)、詹·亨德里克·门克(Jan-Hendrik Menke)、朱利安·多利钦(Julian Dollichon)、弗里德里克·梅耶(Friederike Meier)、 相关软件: 皮普萨;MATPOWER公司;Python… 主要字段: –
ProxylessNAS公司 7份文件引用(2020–2023) 软件作者: 韩才、朱立庚、宋涵 相关软件: DARTS;ImageNet;PyTorch… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
PyDEns公司 7份文件引用(2021–2024) 软件作者: Alexander Koryagin、Roman Khudorozkov、Sergey Tsimfer 相关软件: DeepXDE;NeuroDiffEq;TensorFlow… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
SEPIA公司 引用于9份文件(2015–2023) 软件作者: Gransden,T.、Walkinshaw,N.、Raman,R。 相关软件: E定理证明器;FEMaLeCoP;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
STAR公司 引用于9份文件(2007–2018) 软件作者: Olivier Delgrange、Eric Rivals 相关软件: T-REKS;IMEx;TROLL… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
墨西哥玉米饼 6篇文献引用(2013–2021) 软件作者: 胡安·加莱奥蒂(Juan P.Galeotti);尼古拉·罗斯纳(Nicolas Rosner);卡洛斯·洛佩斯·蓬博(Carlos G.Lopez Pombo);马塞洛·F·弗里亚斯 相关软件: TestEra;Java PathFinder;MiniSat… 主要字段: 数学逻辑与基础(03-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…
BOCK公司 5份文件引用(2020–2022) 软件作者: ChangYong噢,Efstratios Gavves,Max Welling 相关软件: 薄荷;SMAC;EGO… 主要字段: 统计学(62-XX);计算机科学(68-XX);变形固体力学(74-XX)…
MAIC公司 7份文件引用(2016–2021) 软件作者: Keiji Kimura,Hayato Waki先生 相关软件: UCI-ml;R;CPLEX… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
MATSuMoTo公司 8份文件引用(2016–2023) 软件作者: 米勒·J·。 相关软件: MLMSRBF;NOMAD公司;MISO… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
细部选取 4份文件引用(2012–2023) 软件作者: Jorge Orestes Cerdeira、Pedro Duarte Silva、Jorge Cadima、Manuel Minhoto 相关软件: R;跳跃;最好的… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…
巴尔-布马 7份文件引用(2018–2023) 软件作者: 埃尔南德斯,贝琳达;阿德里安·拉弗瑞(Adrian E.Raftery)。;史蒂芬·彭宁顿(Stephen R.Pennington)。;安德鲁·帕内尔。 相关软件: 巴蒂;R;bartMachine… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
MLbase(ML基地) 6篇文献引用(2015–2021) 软件作者: 蒂姆·克拉斯卡(Tim Kraska)、阿梅特·塔尔沃卡尔(Amee Talwalkar)、约翰·杜奇(John Duchi)、里恩·格里菲斯(Rean Griffith)、迈克尔·富兰克林(Michael Franklin)、迈克·乔丹 相关软件: github;BioHEL;GAssist;…(G)… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
摩尔根 6篇文献引用(2020–2021) 软件作者: 尼古拉·德·卡奥、托马斯·基普夫 相关软件: PointNet;DeepWalk;节点2vec… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
NMRDPP公司 7份文件引用(2006–2023) 软件作者: 蒂堡,S。;格雷顿,C。;斯莱尼,J。;价格,D。;卡班扎,F。 相关软件: 图形平面图;CPLEX;观察员… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
糖囊最小化器 7份文件引用(2020–2021) 软件作者: 马雷克·菲舍尔 相关软件: 组织环境信息系统;数学;apTreeshape… 主要字段: 组合数学(05-XX);测量和集成(28-XX);生物学和其他自然科学(92-XX)
萨彻姆ID 6篇文献引用(1995–2004) 软件作者: 唐纳德·洛夫兰(Donald W.Loveland)。;阿德南·H·叶海亚。 相关软件: 萨奇莫;DWAM;DCTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
传感器DCSP 4份文件引用(2005–2020) 软件作者: 拉蒙贝加尔;多姆什拉克,卡梅尔;塞萨尔·费尔南德斯;卡拉·戈麦斯;克里斯纳马查里(Krishnamachari,Bhaskar);巴特·塞尔曼;瓦尔斯,马格达 相关软件: DisChoco;CSPLib;算法97… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
塔克 7份文件引用(2007–2012) 软件作者: 大卫·巴尔德(David Baelde);米勒,戴尔;斯诺,扎卡里 相关软件: 阿贝拉;贝德维尔;Twelf… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)