稀疏矩阵 838份文件引用(1997–2024) 软件作者: 蒂莫西·戴维斯(Timothy A Davis);胡一凡 相关软件: mctoolbox;LAPACK;Matlab… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
凯利 664份文件引用(1995–2024) 软件作者: C.T.凯利。 相关软件: minpack;L-BFGS;Matlab… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
TPTP公司 418份文件引用(1994年-2023年) 软件作者: Geoff Sutcliffe;克里斯蒂安·萨特纳 相关软件: VAMPIRE公司;E定理证明器;SPASS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…
卢比 172份文件引用(2013–2024) 软件作者: 德克·埃德尔布埃特尔;罗曼·弗朗索瓦;JJ Allaire;约翰·钱伯斯;道格拉斯·贝茨;凯文·乌西 相关软件: R;RcppArmadillo;ggplot2… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
PSPLIB公司 294份文件引用(1997–2024) 软件作者: Rainer Kolisch;阿诺·斯普雷彻 相关软件: RanGen;LSSPER;CPLEX… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
费雷特 147篇文献引用(2001–2023) 软件作者: 乔纳森·菲利普斯、哈里·韦克斯勒、杰弗里·黄、帕特里克·劳斯 相关软件: AR面;CMU PIE;耶鲁脸… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
SMT-LIB公司 218篇文献引用(2004–2024) 软件作者: 克拉克·巴雷特;莱昂纳多·德·莫拉;西尔维奥·兰伊斯;阿伦·斯塔姆(Aaron Stump);塞萨尔·蒂内利 相关软件: z3;CVC4;Yices… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
冲浪 141份文件引用(2008–2023) 软件作者: 赫伯特·贝;蒂纳Tuytelaars;吕克·范古尔 相关软件: SIFT;PCA-SIFT;轻快的… 主要字段: 统计学(62-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)…
物理工具包 155份文件引用(2001–2023) 软件作者: Goldberger AL、Amaral LAN、Glass L、Hausdorff JM、Ivanov PCh、Mark RG、Mietus JE、Moody GB、Peng C-K、Stanley HE 相关软件: fda(R);UCI-ml;R、 … 主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);计算机科学(68-XX)…
中国电子05 124篇文献引用(2007–2023) 软件作者: Suganthan,P.N.、Hansen,N.、Liang,J.J.、Deb,K.、Chen,Y.、Auger,A.、Tiwari,S。 相关软件: 玉石;ABC;CMA-ES… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
Matrix市场 174篇文献引用(1999–2024) 软件作者: Boisvert R.、Pozo R.、Remington K.、Barrett R.和Dongarra J 相关软件: 稀疏矩阵;Matlab;Harwell-Being稀疏矩阵集合… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
PASCAL挥发性有机化合物 99篇文献引用(2010–2023) 软件作者: Everingham,M.、Eslami,S.M.A.、Van Gool,L.、Williams,C.K.I.、Winn,J.、Zisserman,A 相关软件: SIFT;ImageNet;MS-COCO… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
SPARQL公司 101篇文献引用(2007–2023) 软件作者: w3.org;马塞洛·阿里纳斯;佩雷斯,豪尔赫 相关软件: 耶拿;DBpedia;XPath… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
DFO公司 134篇文献引用(1997–2023) 软件作者: A.R.连接;K.Scheinberg;Ph.L.厕所 相关软件: NEWUOA公司;UOBYQA;楔子… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
毫升 135份文件引用(2015–2024) 软件作者: R.加拉帕。 相关软件: Matlab;Mittag-Lefler;mftoolx… 主要字段: 实函数(26-XX);特殊功能(33-XX);常微分方程(34-XX)…
RcppArmadillo公司 70篇文献引用(2012–2023) 软件作者: 罗曼·弗朗索瓦(Romain Francois)、德克·埃德布特尔(Dirk Eddelbuettel)、道格·贝茨(Doug Bates) 相关软件: R;Rcpp;犰狳… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
开放式基金 94份文件引用(2008–2024) 软件作者: Breunig,M.、Kriegel,H.、Ng,R.、Sander,J。 相关软件: UCI-ml;奥尔卡;IsolationForest… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
M-MACBETH公司 119篇文献引用(1994–2024) 软件作者: 卡洛斯·巴纳·科斯塔;Jean-Marie De Corte;Jean-Claude Vansnick女士 相关软件: UTA Plus;视觉UTA;电气… 主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…
政治公众人物协议 111篇文献引用(1995–2024) 软件作者: 简·希尔斯顿;http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件: 生物-PEPA;棱镜;生物活性炭… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
犰狳 84份文件引用(2003–2024) 软件作者: 康拉德·桑德森 相关软件: R;RcppArmadillo;Rcpp… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
糕点 66份文件引用(2001–2023) 软件作者: 安东尼·罗斯特龙(Antony Rowstron);彼得·德鲁舍尔 相关软件: 和弦;脚本;BATON… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
帕拉米尔斯 96篇文献引用(2009–2024) 软件作者: Hutter,F。;胡斯,H.H。;莱顿-布朗,K。;T·斯图茨勒。 相关软件: SMAC;irace;SATZILA… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ELAN公司 106篇文献引用(1996–2020) 软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe 相关软件: 莫德;OBJ咖啡馆;OBJ3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
AK-MCS公司 102份文件引用(2012–2023) 软件作者: B.Echard、N.Gayton、M.Lemaire 相关软件: 鲮鱼;EGO;UQLab… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
veriSoft软件 76篇文献引用(2000–2022) 软件作者: 朱尔根·丁格尔 相关软件: 班德拉;自旋蛋白;Java PathFinder… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)…
SLICOT公司 91篇文献引用(1999–2023) 软件作者: 彼得·本纳(Peter Benner);沃尔克·梅尔曼;西玛,瓦西里;范·赫菲尔(Sabine Van Huffel);安德拉斯·瓦尔加 相关软件: LAPACK;Matlab;mctoolbox… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
皮诺奇 91份文件引用(2013年-2023年) 软件作者: 巴诺,B.,詹特里,C.,豪厄尔,J.,雷科娃,M。 相关软件: C的SNARK;马林鱼;Geppetto… 主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…
BLEU公司 27篇文献引用(2007–2023) 软件作者: Kishore Papineni、Salim Roukos、Todd Ward、Wei-Jing Zhu 相关软件: BERT;SRILM;Tensor2传感器… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
第13页 79份文件引用(2014–2024) 软件作者: J.Liang、B.Qu、P.Suganthan、A.G.Hernández-Diaz 相关软件: 玉石;ABC;CEC 05… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
MooNMD公司 79份文件引用(2004–2023) 软件作者: 沃尔克·约翰;冈纳·马提斯 相关软件: FEATFLOW;UMFPACK;RODAS… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
SsfPack系列 63份文件引用(1999–2024) 软件作者: 科普曼,暹粒;尼尔·谢泼德;Jurgen A.Doornik。 相关软件: 公牛;印章;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
豆类 78篇文献引用(2004–2023) 软件作者: 阿洛克·萨特拉达尔;Paulino,Glaucio H。;莱昂纳德·格雷。 相关软件: SERBA;XFEM;ABAQUS… 主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…
木兰 67篇文献引用(2011–2024) 软件作者: 佐马卡斯、格里戈里奥斯;Spyromitros-Xioufis,Eleftherios公司;乔泽夫·维尔塞克;维拉哈瓦斯,伊奥安尼斯 相关软件: ML-KNN;BoosTexter;LIBSVM… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
贝博普 71篇文献引用(2000–2022) 软件作者: 托马斯·鲍尔(Thomas Ball,Sriram K.Rajamani) 相关软件: 自旋蛋白;班德拉;SLAM… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
克利夫亚 73篇文献引用(2007–2023) 软件作者: 雷扎伊普尔,达伍德;Mohamad Rushdan马里兰州。 相关软件: 出席;短笛;LB锁定… 主要字段: 数论(11-XX);算子理论(47-XX);计算机科学(68-XX)…
ParEGO公司 66份文件引用(2005–2023) 软件作者: 约书亚·诺尔斯;埃文·休斯。 相关软件: EGO;MOEA/D;SPEA2… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
伪 71篇文献引用(2004–2023) 软件作者: J.C.布鲁内利 相关软件: 数学;AXIOM;SuSy 2… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
Quaffle餐厅 64篇文献引用(2003–2023) 软件作者: L.Zhang;S.Malik;普林斯顿大学SAT研究小组;Yinlei余 相关软件: 糠;DepQBF;QUBOS… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Expint公司 66份文件引用(2006–2024) 软件作者: H Berland、B Skaflestad、WM Wright 相关软件: Expokit;算法919;phipm… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
毛毛虫SSA 61篇文献引用(2001–2022) 软件作者: 北卡罗来纳州Golyandina。;V.V.内克鲁特金。;Zhigljavsky,A.A.公司。 相关软件: 其mr;预测;预测… 主要字段: 统计学(62-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
foreach公司 引用于33份文件(2013年-2023年) 软件作者: Steve Weston,Revolution Analytics公司 相关软件: R;do并行;Rcpp… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
国际学生成绩评估 53篇文献引用(2003–2022) 软件作者: 斯特凡·布鲁勒;马可·劳曼斯;洛塔尔·蒂勒;埃卡特·齐兹勒 相关软件: SPEA2;j金属;ParadisEO-MOEO… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
运输 61篇文献引用(1986–2023) 软件作者: Kee,R.、Warnatz,J.、Miller,J 相关软件: CHEMKIN公司;预混合;GRI-科技3.0… 主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…
嘉年华 60篇文献引用(2009–2023) 软件作者: 斯米尔诺夫公司。;斯米尔诺夫,V.A。;M.Tentyukov。 相关软件: 火灾;LiteRed;12月第二天… 主要字段: 代数几何(14-XX);特殊功能(33-XX);数值分析(65-XX)…
雅高 52篇文献引用(2009–2023) 软件作者: J.Hoffart、F.Suchanek、K.Berberich、G.Weikum、G.Kasneci 相关软件: 自由基;DBpedia;WordNet… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…
教堂 57篇文献引用(2008–2023) 软件作者: Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。 相关软件: 博客;IBAL;ProbLog… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…
配置文件_QP 62篇文献引用(1999–2024) 软件作者: V.鲁杰罗、E.加利加尼、L.赞尼 相关软件: GPDT;SVM灯;LIBSVM… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
MLMSRBF公司 62篇文献引用(2007–2023) 软件作者: 隆美尔·里吉斯。;克里斯汀·舒梅克(Christine A.Shoemaker)。 相关软件: EGO;NOMAD公司;轨道… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者: 朱奈德·巴巴尔;马可·贝库蒂;苏珊娜·多纳泰利(Susanna Donatelli);安德鲁·米纳 相关软件: GreatSPN 1.7;TimeNET;CADP… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
LBlock(LB锁定) 59篇文献引用(2011–2024) 软件作者: 吴文玲;张磊 相关软件: 出席;TWINE公司;西蒙… 主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…
利比亚中央银行 60篇文献引用(2009–2023) 软件作者: 查查特,B 相关软件: 安提戈内;BARON公司;MC++… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
MCODE公司 49篇文献引用(2005–2023) 软件作者: 巴德,GD;霍格,CWV 相关软件: C索引器;生物网格;细胞景观… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
迷你ML 55份文件引用(2000–2023) 软件作者: 罗文·戴维斯(Rowan Davies);弗兰克·芬宁 相关软件: Coq;毫升;佩斯卡… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
基蒂 39篇文献引用(2013–2024) 软件作者: Geiger,A.、Lenz,P.、Stiller,C.、Urtasun,R 相关软件: ImageNet;MS-COCO;亚当… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
SuiteSparse系列 55份文件引用(2007–2024) 软件作者: 蒂莫西·戴维斯A 相关软件: 稀疏矩阵;Matlab;mftoolx… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
FronTier公司 55份文件引用(2005–2024) 软件作者: J.Du、B.Fix、J.Glimm、X.Jia、X.Li、Y.Li和L.Wu 相关软件: 卡拉肯;河流;Gerris… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
RSVM公司 51篇文献引用(2004–2023) 软件作者: Yuh-Jye Lee,Olvi L.Mangasarian先生 相关软件: UCI-ml;LIBSVM;Matlab… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
农业部 41篇文献引用(2013年-2023年) 软件作者: 阿尔伯特·比费特;杰夫·霍姆斯;伯恩哈德·普法林格 相关软件: UCI-ml;威卡;Scikit… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
循环工具 51篇文献引用(1999–2024) 软件作者: T.哈恩 相关软件: FormCalc;FeynArts;黑帽子… 主要字段: 数值分析(65-XX);光学、电磁理论(78-XX);量子理论(81-XX)…
聚乙烯吡咯烷酮 54篇文献引用(2012–2023) 软件作者: 迪亚兹,M.J.卡斯特罗;费尔南德斯·尼托,E。 相关软件: HLLE;黎曼;CUDA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
BrainWeb网站 44篇文献引用(2009–2023) 软件作者: Chris A.Cocosco、Vasken Kollokian、Remi K.-S.Kwan、G.Bruce Pike、Alan C.Evans 相关软件: UCI-ml;嘲弄;GitHub… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件: Ciao;SICStus公司;汞… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
标签我 21篇文献引用(2008–2022) 软件作者: Russell B.C.、Torralba A.、Murphy K.P.、Freeman W.T。 相关软件: PASCAL挥发性有机化合物;SIFT;ImageNet… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
包装-X 引用于47份文件(2015–2023) 软件作者: Patel,Hiren H。 相关软件: FeynCalc;FeynArts;FeynRules… 主要字段: 代数拓扑(55-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
咖喱 42篇文献引用(1998–2022) 软件作者: M.Hanus、H.Kuchen、J.J.Moreno Navarro 相关软件: 哈斯克尔;PAKCS;KiCS2… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
网格模拟 26篇文献引用(2002–2020) 软件作者: 拉吉库马尔·布亚;Manzur Murshed公司 相关软件: OptorSim;尼姆罗德/G;SIMGRID… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
InterFOAM公司 49篇文献引用(2013年-2023年) 软件作者: Suraj S Deshpande;拉克希曼•阿努莫鲁;马里奥·特鲁希略 相关软件: OpenFOAM;格里斯;PROST… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
马塔德 49篇文献引用(2001–2022) 软件作者: 马蒂亚斯·斯坦豪泽 相关软件: 表格;粉碎机;Axodraw… 主要字段: 数论(11-XX);特殊功能(33-XX);近似和展开(41-XX)…
空间 引用于45份文件(1998–2023) 软件作者: 马蒂亚斯·肖诺 相关软件: EGO;鲮鱼;DiceOptim… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
CompHep公司 42篇文献引用(1997–2024) 软件作者: E.Boos、V.Bunichev、M.Dubinin、L.Dudko、V.Edneral、V.Ilyin、A.Kryukov、V.Savrin、A.Semenov、A.Sherstnev 相关软件: MadGraph;CalcHEP;SHERPA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…
12月第二节 42篇文献引用(2011–2024) 软件作者: J.Carter;索菲亚·博罗卡、古德伦·海因里希、斯蒂芬·扬、史蒂芬·琼斯、马蒂亚斯·科纳、约翰内斯·施伦克、汤姆·齐克 相关软件: 雷杜泽;嘉年华;LiteRed… 主要字段: 代数几何(14-XX);凸和离散几何(52-XX);数值分析(65-XX)…
CppAD公司 39篇文献引用(2008–2023) 软件作者: Bradley M.贝尔。;詹姆斯·V·伯克。 相关软件: Ipopt;ADOL-C;SCIP… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
分享 38篇文献引用(1992–2024) 软件作者: 罗宾·萨纳(Robin Sahner);Trivedi,Kishor S。;安东尼奥·普利亚菲托 相关软件: 莫比乌斯;SPNP;智能_… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
OGDF公司 44篇文献引用(2008–2023) 软件作者: 马库斯·奇马尼;卡斯滕·古特温格;迈克尔·朱格尔(Michael Jünger);卡斯滕·克莱因(Karsten Klein);佩特拉·穆策尔;舒尔茨 相关软件: 斯坦利布;GDToolkit;SCIP… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);数值分析(65-XX)…
PILCO公司 39篇文献引用(2014–2023) 软件作者: M.Deisenroth;C.拉斯穆森 相关软件: OpenAI健身房;亚当;TensorFlow… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…
算法719 41篇文献引用(1993–2017) 软件作者: D.H.贝利。 相关软件: 算法693;数学;mctoolbox… 主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…
GreatSPN 1.7 38篇文献引用(1995–2012) 软件作者: Chiola,G。;弗朗西斯科尼斯,G。;盖塔,R。;里巴多,M。 相关软件: GreatSPN;SPNP;CADP… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
伊德里斯 引用于40篇文献(2011–2023) 软件作者: 埃德温·布雷迪 相关软件: Coq;阿格达;Irdis… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
GNMT公司 35篇文献引用(2018–2023) 软件作者: 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯,杰森·里萨(Jason Riesa)、亚历克斯·鲁德尼克(Alex Rudnick 相关软件: ImageNet;AlexNet;亚当… 主要字段: 近似和展开(41-XX);统计学(62-XX);计算机科学(68-XX)…
MiniMaxSat卫星 39篇文献引用(2008–2023) 软件作者: 费德里科·赫拉斯;哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯 相关软件: 周六4j;最大HS;QMaxSAT… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
帕洛 37篇文献引用(1984–1993) 软件作者: 基思·克拉克;史蒂夫·格雷戈里 相关软件: GHC;更窄的;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
SKPrime公司 39篇文献引用(2007–2023) 软件作者: D.G.Crowdy、C.C.Green、E.H.Kropf、M.M.S.Nasser 相关软件: 施瓦兹-克里斯托菲尔;SC工具箱;GitHub… 主要字段: 复变量函数(30-XX);势能理论(31-XX);偏微分方程(35-XX)…
PROSITE公司 19份文件引用(2004–2022) 软件作者: Sigrist,C.J.A.、Cerutti,L.、Hulo,N.、Gattiker,A.、Falquet,L.、Pagni,M.、Bairoch,A.、Bucher,P。 相关软件: Pfam;爆炸;PSI-BLAST… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
RIM_DOM公司。90层 39篇文献引用(2005–2023) 软件作者: 高小伟 相关软件: BEMECH公司;TriWild;pvfmm… 主要字段: 近似和展开(41-XX);数值分析(65-XX);变形固体力学(74-XX)…
短讯服务 38篇文献引用(1997–2023) 软件作者: 乔·科勒克 相关软件: 数学;AceFEM;AceGen… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
FMMLIB2D 36篇文献引用(2012–2023) 软件作者: Greengard,L.,Gimbutas,Z。 相关软件: 施瓦兹-克里斯托菲尔;SC工具箱;循环映射… 主要字段: 复变量函数(30-XX);势能理论(31-XX);偏微分方程(35-XX)…
Outex公司 26篇文献引用(2003–2022) 软件作者: T.Ojala、T.Mäenpää、M.Pietikäinen、J.Viertola、J.Kyllönen、S.Huovinen 相关软件: 固化剂;SIFT;LIBSVM… 主要字段: 算子理论(47-XX);统计学(62-XX);计算机科学(68-XX)…
pySecDec公司 引用于33份文件(2017–2023) 软件作者: S.Borowka、G.Heinrich、S.Jahn、S.P.Jones、M.Kerner、J.Schlenk、T.Zirke 相关软件: LiteRed;嘉年华;Reduze… 主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…
UnitWalk公司 引用于33份文件(2002–2023) 软件作者: 爱德华·赫施(Edward A.Hirsch)。;阿里斯特·科耶夫尼科夫 相关软件: 糠;SATO;伯克敏… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
SeaHorn公司 36篇文献引用(2015–2023) 软件作者: Gurfinkel,A.,Kahsai,T.,Komuravelli,A.,Navas,J.A。 相关软件: z3;垫片;CPA检查器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
DARPA时间 24篇文献引用(2005–2024) 软件作者: Garofolo,J.S.、Lamel,L.F.、Fisher,W.M.、Fiscus,J.G.、Pallett,D.S.、Dahlgren,N.L 相关软件: ImageNet;MNIST;亚当… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
GF公司 30篇文献引用(1999–2021) 软件作者: 阿恩·兰塔 相关软件: Coq;米扎尔;Isar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
受到惩罚的 25篇文献引用(2010–2023) 软件作者: Rosa J.Meijer。;杰尔·戈曼。 相关软件: R;glmnet;SAS… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
红宝石 22篇文献引用(2002年至2017年) 软件作者: 弗拉纳根,D。;松本,Y。 相关软件: 蟒蛇;JavaScript;PERL… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
斯特马克 28篇文献引用(2001–2023) 软件作者: Fabien A.P.Petitcolas、Ross J.Anderson、Markus G.Kuhn 相关软件: U-Net;亚当;禁忌搜索… 主要字段: 数值分析(65-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
X夏季 34份文件引用(2006–2023) 软件作者: 莫赫,S。;乌沃,P。 相关软件: 嵌套金额;Hypexp;表格… 主要字段: 数论(11-XX);代数几何(14-XX);特殊功能(33-XX)…
应用程序空间 34份文件引用(2004–2023) 软件作者: Genetha A.Gray;塔马拉·科尔达 相关软件: NEWUOA公司;NOMAD公司;切割机… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…