×

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

Matlab公司

软件作者:MathWorks公司
引用于: 13246本出版物(1982年至2024年)
相关软件: Simulink;枫树;LMI工具箱;MATLAB ODE套件;ode23;ode45…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)

R(右)

软件作者:哈德利·威克姆;罗伯特·绅士;罗斯·伊哈卡;约翰·钱伯斯(John M.Chambers);William N.Venables;布莱恩·里普利
引用于: 8624出版物(1978–2023)
相关软件: CRAN;SAS;ggplot2;质量(R);S-PLUS;Matlab…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

数学软件

软件作者:Wolfram研究
引用于: 6284出版物(1986年至2023年)
相关软件: 枫树;Matlab;R;SageMath;伊斯兰教;DLMF…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

枫树

软件作者:滑铁卢枫树公司。
引用于: 5260本出版物(1983年至2023年)
相关软件: Mathematica;Matlab;伊斯兰教;岩浆;单一;减少…
主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)

组织环境信息系统

软件作者:尼尔·J·A·斯隆。;OEIS基金会。
引用于: 4487出版物(1973–2023)
相关软件: SageMath;间隙;Mathematica;DLMF;枫树;岩浆…
主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)

github

软件作者:github公司
引用于: 3764份出版物(2010-2023年)
相关软件: R;Matlab;蟒蛇;亚当;TensorFlow;朱莉娅…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

岩浆

软件作者:西。Bosma,A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith
引用于: 3507本出版物(1994年至2023年)
相关软件: 间隙;SageMath;PARI/GP;单一;枫树;代码表…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)

UCI-毫升

软件作者:David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman
引用于: 2722出版物(1995年至2022年)
相关软件: C4.5;LIBSVM;R;ElemStatLearn;AdaBoost.MH;PRMLT…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

间隙

软件作者:GAP集团
引用于: 3306本出版物(1990年至2023年)
相关软件: 岩浆;SageMath;ATLAS集团代表;雪维;鹦鹉螺;葡萄…
主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)

DLMF公司

软件作者:丹尼尔·洛泽尔(Daniel W.Lozier)。
引用于: 3039出版物(2000年至2023年)
相关软件: Mathematica;Matlab;组织环境信息系统;切布冯;github;枫树…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)

CPLEX公司

软件作者:IBM公司
引用于: 2748本出版物(1992年至2023年)
相关软件: 古罗比;SCIP;GAMS;AMPL;MIPLIB公司;Matlab…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

蟒蛇

软件作者:吉多·范·罗苏姆
引用于: 1190出版物(1991年至2023年)
相关软件: SciPy;数字Py;Matplotlib;Scikit;Matlab;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

SageMath公司

软件作者:贤明的开发商;威廉·斯坦因;大卫·乔伊纳(David Joyner);David Kohel;约翰·克雷莫纳;伯里钦·埃罗卡尔
引用于: 2157出版物(2002-2023)
相关软件: 岩浆;间隙;组织环境信息系统;单一;github;Sage-Combinat…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)

麦考利2

软件作者:丹尼尔·格雷森(Daniel R.Grayson)。;迈克尔·E·斯蒂尔曼。;戴维·艾森巴德(David Eisenbud);http://www.math.uiuc.edu/Macaulay2/贡献者/
引用于: 2006年出版物(1988–2023)
相关软件: 单一;可可;SageMath;贝尔蒂尼;岩浆;枫树…
主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)

Coq公司

软件作者:克利斯朵夫·德林格;Jean-François Dufourd
引用于: 1855份出版物(1993年至2023年)
相关软件: Isabelle/HOL;伊莎贝尔;HOL;PVS;HOL灯;数字(amp;N)…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)

罗德斯

软件作者:E.公司。G.Wanner Hairer
引用于: 1757本出版物(1989年至2022年)
相关软件: Matlab;歌曲15;MEBDF;MATLAB ODE套件;ode23;代码23s…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)

LAPACK公司

软件作者:LAPACK团队:lapack@cs.utk.edu
引用于: 1678份出版物(1988年至2023年)
相关软件: BLAS;ScaLAPACK;Matlab;mctoolbox;LINPACK;ARPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

PETSc公司

软件作者:美国。巴莱,W.D.Gropp,L.C.McInnes,B.F.Smith
引用于: 1607出版物(1996-2023)
相关软件: FEniCS;炒作;MUMPS;SLEPc;特里利诺斯;Gmsh…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

ABAQUS公司

软件作者:Simulia(达索系统);ABAQUS公司
引用于: 1594本出版物(1985-2023)
相关软件: UMAT;ABAQUS/标准;ABAQUS/显式;Matlab;ANSYS;LS-DYNA…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

SAS公司

软件作者:SAS协会
引用于: 1424出版物(1976–2023)
相关软件: R;SAS/STAT;SPSS软件;Stata公司;S-PLUS;SAS/IML…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学、数学规划(90-XX)

ElemStatLearn(电子状态学习)

软件作者:杰蒂尔·哈沃森
引用于: 1509出版物(2001-2023)
相关软件: R;UCI-ml;PRMLT;glmnet;fda(R);LIBSVM…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

fda(右)

软件作者:J。O.Ramsay、Hadley Wickham、Spencer Graves、Giles Hooker
引用于: 1563出版物(1997年至2022年)
相关软件: R;半标准杆;ElemStatLearn;fda.usc;退款;KernSmooth…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

单一

软件作者:Wolfram Decker;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼
引用于: 1548本出版物(1991年至2023年)
相关软件: 麦考利2号;可可;SageMath;岩浆;枫树;primdec…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)

mctoolbox软件

软件作者:尼克·海姆
引用于: 1539出版物(1995年至2023年)
相关软件: LAPACK;Matlab;mftoolbox;稀疏矩阵;BLAS;国际实验室…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

LMI工具箱

软件作者:数学作品;Gahinet,P。;内米洛夫斯基,A。;劳布,A.J。;M.奇拉利。
引用于: 1460本出版物(1995年至2023年)
相关软件: Matlab;控制系统工具箱;塞杜米;YALMIP;Mu分析与合成工具箱;SDPT3…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);运筹学、数学规划(90-XX)

自由Fem++

软件作者:奥利维尔·皮罗内奥(Olivier Pironenau)、弗雷德里克·赫赫特(Frédéric Hecht)、安托万·勒海利奇(Antoine Le Hyaric)、雅克·莫里斯(Jacques Morice)
引用于: 1404出版物(2000-2023)
相关软件: FEniCS;PETSc;UMFPACK;交易.ii;Gmsh;MUMPS…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

贝叶斯DA

软件作者:杰蒂尔·哈沃森
引用于: 1337份出版物(1997年至2022年)
相关软件: R;WinBUGS;斯坦;spBayes;PRMLT;卡爪…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

CUDA公司

软件作者:NVIDIA公司;佩特·文格曼;Frank H.P.菲泽克。
引用于: 1076份出版物(2007-2023年)
相关软件: OpenCL;CUBLAS;Matlab;保管;推力;MPI…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

塞杜米

软件作者:斯图尔姆·J·F
引用于: 1293出版物(1999-2022)
相关软件: YALMIP;SDPT3;GloptiPoly;粪便;Matlab;CVX…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

PRMLT公司

软件作者:C、。主教
引用于: 1116份出版物(2006年至2022年)
相关软件: UCI-ml;ElemStatLearn;PMTK;R;贝叶斯DA;亚当…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

伦敦银行支持向量机

软件作者:Chih-Chung Chang;林智仁
引用于: 946出版物(2002年至2023年)
相关软件: UCI-ml;LIBLINEAR;SVM灯;Matlab;C4.5;ElemStatLearn…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

引导数据库

软件作者:Rob Tibshirani、Friedrich Leisch
引用于: 1154本出版物(1993年至2023年)
相关软件: R;bootlib;UCI-ml;ElemStatLearn;公牛;贝叶斯DA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

亚当

软件作者:Diederik P.Kingma、Jimmy Ba
引用于: 1121出版物(2016–2023)
相关软件: TensorFlow;PyTorch;ImageNet;AlexNet;github;DGM…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

4.5条

软件作者:J.昆兰。;规则任务
引用于: 808本出版物(1991年至2022年)
相关软件: UCI-ml;R;威卡;AdaBoost.MH;LIBSVM;ElemStatLearn…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

VRP公司

软件作者:NEO:网络和新兴优化
引用于: 1126出版物(1981年至2023年)
相关软件: CVRPSP;禁忌搜索;CPLEX;TSPLIB;LKH;协和式飞机…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

基因科普

软件作者:Z.公司。米切莱维奇;G.纳希亚斯
引用于: 943出版物(1992–2022)
相关软件: 禁忌搜索;UCI-ml;C4.5;Matlab;CEC 05;SPEA2…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

禁忌搜索

软件作者:弗雷德·格洛弗(Fred Glover);埃里克·泰勒;多米尼克·德韦拉
引用于: 1027份出版物(1991年至2022年)
相关软件: 分散搜索;CPLEX;VRP;OR-库;TSPLIB;DIMACS…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

YALMIP公司

软件作者:约翰·洛夫伯格
引用于: 1064出版物(2004–2023)
相关软件: 塞杜米;SDPT3;莫塞克;Matlab;粪便;GloptiPoly…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

科恩平滑

软件作者:Wand,医学博士。;M.C.琼斯。;布莱恩·里普利
引用于: 985出版物(1993年至2022年)
相关软件: R;pyuvdata;fda(R);半标准杆;SiZer;UCI-ml…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

HE-E1GODF公司

软件作者:E.F托罗
引用于: 989出版物(1997年至2023年)
相关软件: HLLE;澳大利亚统计局;MOOD;沙斯塔;雷亚尔;RODAS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

FEniCS公司

软件作者:剑桥大学、芝加哥大学、德克萨斯理工大学和KTH皇家理工学院Simula研究实验室
引用于: 860本出版物(2007年至2023年)
相关软件: SyFi;PETSc;道芬;Gmsh;蟒蛇;交易.ii…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

哈斯克尔

软件作者:  –
引用于: 814出版物(1989–2022)
相关软件: Coq;毫升;GHC;Isabelle/HOL;快速检查;莫德…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)

GAMS游戏

软件作者:GAMS开发公司,GAMS软件有限公司
引用于: 878本出版物(1984年至2023年)
相关软件: CPLEX;AMPL;MINOS;BARON公司;CONOPT公司;路径解算器…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

CVX公司

软件作者:迈克尔·格兰特;斯蒂芬·博伊德
引用于: 872份出版物(2006年至2023年)
相关软件: 塞杜米;SDPT3;YALMIP;莫塞克;Matlab;PDCO…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

科学Py

软件作者:Jones,E.、Oliphant,T.、Peterson,P.等人。
引用于: 591出版物(2005-2023)
相关软件: 蟒蛇;数字Py;Matplotlib;Scikit;github;TensorFlow…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)

L-BFGS公司

软件作者:朱慈友;理查德·伯德。;吕培煌;豪尔赫·诺塞达尔
引用于: 845出版物(1981年至2022年)
相关软件: L-BFGS-B;LBFGS-B;切割机;可爱的;minpack;tn…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)

Stata公司

软件作者:StataCorp有限公司
引用于: 716出版物(1993年至2023年)
相关软件: R;SAS;SPSS软件;GLLAMM公司;SAS/STAT;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学、数学规划(90-XX)

ARPACK公司

软件作者:勒霍克;索伦森;
引用于: 840出版物(1995年至2023年)
相关软件: 环境影响评价;JDQZ;JDQR;LAPACK;Matlab;Eigtool…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)

Gms小时

软件作者:Christophe Geuzaine,Jean-François Remacle
引用于: 806本出版物(2003年至2023年)
相关软件: FEniCS;PETSc;ParaView;MUMPS;交易.ii;FreeFem++…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

伊波特

软件作者:安德烈亚斯·瓦希特(Andreas Waechter)、卡尔·莱尔德(Carl Laird)
引用于: 818份出版物(2005年至2023年)
相关软件: AMPL;SNOPT;CPLEX;邦明;SCIP;KNITRO…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)

Simulink公司

软件作者:MathWorks公司
引用于: 693出版物(1994年至2024年)
相关软件: Matlab;歌曲15;状态流;卡西姆;MATLAB ODE套件;Modelica…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)

擅长

软件作者:微软
引用于: 522出版物(1989–2023)
相关软件: R;Matlab;SPSS软件;Visual Basic;Mathematica;SAS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

古罗比

软件作者:宗豪古;Ed Rothberg;鲍勃·比克斯比;Gurobi Optimization公司。
引用于: 797出版物(2010-2023)
相关软件: CPLEX;SCIP;github;Ipopt;莫塞克;JuMP…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

ImageNet公司

软件作者:J。邓维东、R.Socher、L.-J.Li、K.Li、L.Fei-Fei
引用于: 724本出版物(2010-2023年)
相关软件: AlexNet;亚当;TensorFlow;PyTorch;CIFAR;GitHub…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

TensorFlow公司

软件作者:谷歌大脑团队;M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人
引用于: 611出版物(2016–2023)
相关软件: 亚当;PyTorch;凯拉斯;蟒蛇;ImageNet;GitHub…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)

量化风险管理

软件作者:伯恩哈德·普法夫;马吕斯·霍弗特;亚历山大·麦克尼尔;斯科特·乌尔曼
引用于: 787本出版物(2005年至2022年)
相关软件: R;CopulaModel;copula;copula;伊斯梅夫;CAViaR…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

半标准杆

软件作者:马特·旺德;戴维·鲁珀特(David Ruppert);卡罗尔,R.J。
引用于: 781出版物(1996-2023)
相关软件: R;加迈尔;fda(R);gss;WinBUGS;mgcv…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

WinBUGS公司

软件作者:David Spiegelhalter;安德鲁·托马斯;Nicky Best;戴夫·伦恩
引用于: 707出版物(1999-2023)
相关软件: R;贝叶斯DA;漏洞;JAGS;半标准杆;CODA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

规范化工具

软件作者:克里斯汀·汉森(Per Christian Hansen)
引用于: 758出版物(1994年至2023年)
相关软件: UTV;LSQR;Matlab;IR工具;AIR工具;RestoreTools…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

稀疏矩阵

软件作者:蒂莫西·戴维斯(Timothy A Davis);胡一凡
引用于: 743出版物(1997年至2023年)
相关软件: LAPACK;mctoolbox;Matlab;METIS公司;ILUT;HSL…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)

小背包

软件作者:Garbow B、Hillstrom K、More J
引用于: 752出版物(1979-2023)
相关软件: 切割机;L-BFGS;HYBRJ公司;可爱的;凯利;GQTPAR…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)

减少

软件作者:Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf;托马斯·斯特姆
引用于: 735出版物(1970–2021)
相关软件: 枫树;Mathematica;伊斯兰教;DIMSYM公司;EXCALC;AXIOM…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)

ANSYS有限元分析软件

软件作者:John Swanson,Ansys公司。
引用于: 716出版物(1978年至2023年)
相关软件: ABAQUS;Matlab;FLUENT公司;ANSYS-CFX;纳斯特朗;APDL…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

自旋蛋白

软件作者:贝尔实验室
引用于: 595出版物(1990年至2023年)
相关软件: NuSMV;Uppaal;班德拉;Java PathFinder;贝博普;CESAR…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

PDCO公司

软件作者:医学硕士桑德斯
引用于: 698出版物(1999-2023)
相关软件: CoSaMP;SPGL1;NESTA;glmnet;CVX;ElemStatLearn…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

Scikit公司

软件作者:费比安·佩德雷戈萨;加尔·瓦罗佐;亚历山大·格兰福特;文森特·米歇尔;贝特朗·蒂里昂;奥利维尔·格里塞尔(Olivier Grisel);马修·布隆德尔;彼得·普雷滕霍弗(Peter Prettenhofer);罗恩·维斯(Ron Weiss);文森特·杜伯格(Vincent Dubourg);Jake Vanderplas;亚历山大·帕索斯;大卫·库纳波(David Cournapeau);马蒂厄·布鲁彻;马蒂厄·佩罗(Matthieu Perrot);爱杜华·公爵夫人
引用于: 522出版物(2011-2023)
相关软件: 蟒蛇;SciPy;TensorFlow;数字Py;github;UCI-ml…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

伊莎贝尔

软件作者:拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel)
引用于: 704出版物(1990年至2022年)
相关软件: Isabelle/HOL;HOL;Coq;PVS;存档正式证据;ML…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)

伊斯兰教

软件作者:符号学
引用于: 714出版物(1971-2023)
相关软件: 枫树;Mathematica;减少;HIROTA.MAX公司;ATFM;Matlab…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

HLLE公司

软件作者:Harten,Amiram;Peter D.Lax。;范·利尔,布拉姆
引用于: 718出版物(1983年至2023年)
相关软件: HE-E1GODF;澳大利亚统计局;黎曼;HLLC;MOOD;AUSMPW+…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

TSPLIB公司

软件作者:格哈德·雷内特
引用于: 691出版物(1991年至2023年)
相关软件: 协和式飞机;LKH;VRP;禁忌搜索;OR-库;CPLEX…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)

SDPT3系统

软件作者:Toh,K.C。;托德,M.J。;TüTüncü,R.H。
引用于: 704出版物(1986年至2023年)
相关软件: 塞杜米;YALMIP;CVX;SDPA;CSDP;Mosek…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

SPSS软件

软件作者:IBM;诺曼·H·聂;C.哈德莱船体
引用于: 510出版物(1974–2023)
相关软件: SAS;R;Stata公司;擅长;Matlab;BMDP…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

莫德

软件作者:Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;莫德团队
引用于: 621出版物(1984–2023)
相关软件: OBJ咖啡馆;OBJ3;ELAN;哈斯克尔;CASL;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

z3(零3)

软件作者:微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳
引用于: 651出版物(2001-2023)
相关软件: CVC4;SMT-LIB;Yices;Coq;Isabelle/HOL;VAMPIRE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

mf工具箱

软件作者:N。J.海姆
引用于: 685出版物(2008–2023)
相关软件: mctoolbox;Matlab;MATLAB实验;Expokit;稀疏矩阵;Eigtool…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX)

交易.ii

软件作者:Bangerth W、Hartman R、Kanschat G
引用于: 648出版物(1999-2023)
相关软件: 特里利诺斯;PETSc;FEniCS;p4测试;UMFPACK;Gmsh…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

PARI/GP公司

软件作者:亨利·科恩;卡里姆·贝拉巴斯(Karim Belabas);PARI组
引用于: 670本出版物(1992年至2023年)
相关软件: 岩浆;SageMath;间隙;ecdata;Mathematica;LMFDB…
主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)

可可

软件作者:CoCoa-Team;洛伦佐·罗比亚诺
引用于: 654出版物(1989–2023)
相关软件: 麦考利2号;单一;CoCoALib;枫树;Mathematica;岩浆…
主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)

阿尔戈60

软件作者:Naur,P。;巴克斯,J.W。;等。
引用于: 647出版物(1959-2022)
相关软件: ALGOL 68;欧拉;Simula 67;损益表;COBOL;ML…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)

OR-库

软件作者:J.E.比斯利
引用于: 646本出版物(1985年至2022年)
相关软件: CPLEX;禁忌搜索;TSPLIB;背包;菜单-OKF;MOD-DIST…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

Z树

软件作者:菲施巴赫大学。
引用于: 668份出版物(2001年至2022年)
相关软件: 奥赛;hroot;Stata公司;赌博;R;o树…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

数学溢出

软件作者:Stack Exchange公司
引用于: 665份出版物(2010-2023年)
相关软件: 组织环境信息系统;SageMath;github;岩浆;间隙;DLMF…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)

长备忘录

软件作者:Jan Beran;布兰登·惠彻(Brandon Whitcher);马丁·梅克勒
引用于: 653出版物(1994年至2023年)
相关软件: R;fda(R);公牛;其mr;KernSmooth;SimEstFBM…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

Uppaal公司

软件作者:瑞典乌普萨拉大学;丹麦奥尔堡大学
引用于: 541出版物(1990年至2022年)
相关软件: 克罗诺斯;高科技;自旋蛋白;棱镜;IF-2.0;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

格尔姆奈特

软件作者:Jerome Friedman、Trevor Hastie、Rob Tibshirani
引用于: 625本出版物(2008年至2022年)
相关软件: R;ElemStatLearn;玻璃;UCI-ml;稀疏;PDCO…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

凯利

软件作者:C.T.凯利。
引用于: 649出版物(1995年至2022年)
相关软件: minpack;Matlab;L-BFGS;IMFIL;硝酚;DFO…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

AlexNet公司

软件作者:Alex Krizhevsky、Ilya Sutskever、Geoffrey E Hinton
引用于: 626出版物(2014-2023)
相关软件: ImageNet;亚当;TensorFlow;darch;PyTorch;GitHub…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

鹦鹉螺

软件作者:布伦丹·麦凯;阿道夫·皮佩诺
引用于: 644出版物(1988年至2022年)
相关软件: 踪迹;间隙;葡萄;组织环境信息系统;SageMath;极乐…
主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)

SIFT公司

软件作者:大卫·洛
引用于: 375本出版物(2006年至2022年)
相关软件: 冲浪;PCA-SIFT;PASCAL挥发性有机化合物;LIBSVM;ImageNet;Vlfeat…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

数字Py

软件作者:奥列芬特,T.E。
引用于: 308出版物(2000-2023)
相关软件: 蟒蛇;SciPy;Matplotlib;Scikit;大熊猫;PyTorch…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

S-PLUS系统

软件作者:TIBCO软件公司。
引用于: 585出版物(1994年至2022年)
相关软件: R;MEMSS;SAS;lme4;半标准杆;nlme…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

AMPL公司

软件作者:福勒,R.,盖伊,D.M.,科尼根,B.W。
引用于: 610出版物(1989–2023)
相关软件: CPLEX;Ipopt;GAMS;SNOPT;MINOS;Matlab…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

JDQZ公司

软件作者:D.R.福克马;G.L.G.Sleijpen;H.A.范德沃斯特
引用于: 612出版物(1996-2023)
相关软件: JDQR;ARPACK;环境影响评价;IRAM;lobpcg.m;LAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)

切割机

软件作者:尼古拉斯·I.M.古尔德。;多米尼克·奥尔班;马桶,Philippe L
引用于: 616出版物(1994年至2022年)
相关软件: 可爱的;12月6日;L-BFGS;CG_DESCENT;兰斯洛特;minpack…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

朱莉娅

软件作者:Bezanson J、Karpinski S、Shah VB、Edelman A
引用于: 477本出版物(2014-2023)
相关软件: github;JuMP;微分方程.jl;R;蟒蛇;Matlab…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)

PyTorch公司

软件作者:答:。Paszke、S.Gross、F.Massa、A.Lerer、J.Bradbury、G.Chanan、T.Killeen、Z.Lin、N.Gimelshein、L.Antiga、A.Desmaison、A.Kopf、E.Yang、Z.DeVito、M.Raison、A.Tejani、S.Chilamkurthy、B.Steiner、L.Fang、J.Bai、S.Chintala
引用于: 413出版物(2018–2023)
相关软件: 亚当;TensorFlow;蟒蛇;ImageNet;github;Scikit…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)

软件作者:Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S
引用于: 545本出版物(2001-2022年)
相关软件: MiniSat;伯克敏;SATO;步行卫星;围攻;Velev SAT基准…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

超小卫星

软件作者:Niklas Eén、Niklas Sörensson
引用于: 560出版物(2003年至2022年)
相关软件: 糠;伯克敏;z3;玲玲;PicoSAT;SATO…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

CRAN(起重机)

软件作者:cran.r-project.org网站/
引用于: 380本出版物(2002年至2023年)
相关软件: R;ggplot2;卢比;质量(R);生存;GitHub…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)

开放式泡沫

软件作者:OpenCFD有限公司(ESI集团)
引用于: 573出版物(2007-2023)
相关软件: FLUENT公司;Matlab;github;PETSc;ANSYS-CFX;Spalart-Allmaras…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)