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)