×

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

稀疏矩阵

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)…

连接线

170篇文献引用(2008–2023)
软件作者: 严,J
相关软件: 交配;R;QRM…
主要字段: 概率论与随机过程(60-XX);统计学(62-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)…

高功率激光器

83份文件引用(2006–2023)
软件作者: D.马伊特
相关软件: GiNaC;表格;火灾…
主要字段: 数论(11-XX);特殊功能(33-XX);计算机科学(68-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)…

筛选结果依据…

全部的 前5名

相关软件