×

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

Matlab公司

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

R(右)

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

数学软件

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

枫树

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

组织环境信息系统

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

岩浆

软件作者:西。Bosma,A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith
引用于: 3481出版物(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
引用于: 2718出版物(1995年至2022年)
相关软件: C4.5;LIBSVM;R;ElemStatLearn;AdaBoost.MH;PRMLT…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

间隙

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

github

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

DLMF公司

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

CPLEX公司

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

蟒蛇

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

SageMath公司

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

麦考莱2

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

Coq公司

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

LAPACK公司

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

ElemStatLearn(电子状态学习)

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

单一

软件作者:Wolfram Decker;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼
引用于: 1537本出版物(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.奇拉利。
引用于: 1459出版物(1995年至2023年)
相关软件: Matlab;控制系统工具箱;塞杜米;YALMIP;Mu分析与合成工具箱;SDPT3…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);运筹学、数学规划(90-XX)

CUDA公司

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

塞杜米

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

PRMLT公司

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

YALMIP公司

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

伊莎贝尔/HOL

软件作者:沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科
引用于: 985本出版物(1996-2023)
相关软件: 伊莎贝尔;Coq;HOL;存档正式证据;PVS;HOL灯…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)

亚当

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

哈斯克尔

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

FEniCS公司

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

CVX公司

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

ARPACK公司

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

科学Py

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

古罗比

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

ImageNet公司

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

PDCO公司

软件作者:医学硕士桑德斯
引用于: 697出版物(1999-2023)
相关软件: CoSaMP;SPGL1;NESTA;glmnet;CVX;ElemStatLearn…
主要字段: 统计学(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)

伊斯兰教

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

Scikit公司

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

SDPT3系统

软件作者:Toh,K.C。;托德,M.J。;TüTüncü,R.H。
引用于: 701出版物(1986–2022)
相关软件: 塞杜米;YALMIP;CVX;SDPA;CSDP;Mosek…
主要字段: 统计学(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等人
引用于: 538本出版物(2016–2023)
相关软件: 亚当;PyTorch;凯拉斯;蟒蛇;ImageNet;GitHub…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)

莫德

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

z3(零3)

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

PARI/GP公司

软件作者:亨利·科恩;卡里姆·贝拉巴斯(Karim Belabas);PARI组
引用于: 668本出版物(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)

交易.ii

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

鹦鹉螺

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

mf工具箱

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

AMPL公司

软件作者:福勒,R.,盖伊,D.M.,科尼根,B.W。
引用于: 607出版物(1989年至2022年)
相关软件: 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)

数字Py

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

HOL公司

软件作者:迈克尔·J·C·戈登。
引用于: 582出版物(1985-2022)
相关软件: 伊莎贝尔;Isabelle/HOL;毫升;Coq;HOL灯;PVS…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)

数学溢出

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

SCIP公司

软件作者:特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格
引用于: 565份出版物(2005年至2023年)
相关软件: CPLEX;MIPLIB公司;古罗比;安提戈内;Ipopt;BARON…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)

朱莉娅

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

AlexNet公司

软件作者:Alex Krizhevsky、Ilya Sutskever、Geoffrey E Hinton
引用于: 539出版物(2014-2022)
相关软件: ImageNet;亚当;TensorFlow;darch;CIFAR;PyTorch…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-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
引用于: 372出版物(2018–2023)
相关软件: TensorFlow;亚当;蟒蛇;ImageNet;Scikit;GitHub…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)

Eigtool公司

软件作者:托马斯·赖特;Nick Trefethen;马克·恩布雷
引用于: 549出版物(1996-2023)
相关软件: ARPACK;Seigtool公司;Matlab;环境影响评价;mctoolbox;mftoolx…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);算子理论(47-XX)

莫塞克

软件作者:莫斯科ApS
引用于: 514出版物(1999-2023)
相关软件: YALMIP;塞杜米;SDPT3;CVX;CPLEX;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);可变形固体力学(74-XX)

磁粉探伤

软件作者:杰弗里·菲克(Jeffrey A.Fike)。;胡安·阿隆索。
引用于: 475本出版物(1990年至2022年)
相关软件: LAPACK;CUDA;PETSc;ScaLAPACK;BLAS;PVM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

JDQR公司

软件作者:杰拉德·L.G.斯莱杰本
引用于: 508出版物(1996-2022)
相关软件: JDQZ;ARPACK;环境影响评价;LAPACK;Matlab;IRAM…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

米扎尔

软件作者:Grzegorz Bancerek;茨瓦夫·拜林斯基;亚当·格拉博夫斯基(Adam Grabowski);阿图尔·科尼洛维奇;罗伯特·米列夫斯基(Robert Milewski);亚当·诺莫维奇(Adam Naumowicz);Andrzej Trybulec;约瑟夫·乌尔班
引用于: 506出版物(1983年至2022年)
相关软件: Coq;Isabelle/HOL;HOL灯;伊莎贝尔;伊萨尔;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX)

EISPACK公司

软件作者:Brian Smith、James Boyle、Jack Dongarra、Burton Garbow、Y.Ikebe、V.Klema、Cleve Moler
引用于: 489本出版物(1974年至2022年)
相关软件: LAPACK;LINPACK;BLAS;Matlab;ScaLAPACK;ARPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);可变形固体力学(74-XX)

国际实验室

软件作者:齐格弗里德·M·臀部。
引用于: 473出版物(1999-2022)
相关软件: Matlab;mctoolbox;C-XSC 2.0;进入PT_90;C-XSC;VERSOFT…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)

MATCONT公司

软件作者:Dhooge,A。;乌龟,B。;Govaerts,W。;Yu.A.库兹涅佐夫。
引用于: 468本出版物(2003年至2023年)
相关软件: 自动;Matlab;CL_MATCONT;HomCont;AUTO-07P;XPPAUT…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)

布伦特

软件作者:理查德·布伦特(Richard Brent);约翰·伯克特
引用于: 465出版物(1971-2022)
相关软件: R;minpack;Matlab;DFO;github;凯利…
主要字段: 统计学(62-XX);数值分析(65-XX);可变形固体力学(74-XX)

运营质量

软件作者:沃尔特·高茨基
引用于: 453出版物(2004–2022)
相关软件: Matlab;DLMF;正交多项式;奥特波尔;切布冯;数学…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似值和展开值(41-XX)

TETRAD公司

软件作者:克拉克·格雷摩尔(Clark Glymour);理查德·谢恩斯(Richard Scheines);彼得·斯皮特斯;约瑟夫·拉姆齐
引用于: 428本出版物(1993年至2022年)
相关软件: pcalg;R;MIM;玻璃;学习;UCI-ml…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)

切布冯

软件作者:Chebfun团队;A Driscoll,N.Hale,L.N.Trefethen
引用于: 440本出版物(2004年至2023年)
相关软件: Matlab;DLMF;Chebfun2;mctoolbox;github;切波普…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)

马特普洛特利布

软件作者:John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队
引用于: 234出版物(2007-2023)
相关软件: 蟒蛇;数字Py;SciPy;Scikit;IPython;熊猫…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

GeoGebra公司

软件作者:  –
引用于: 186本出版物(2007-2022)
相关软件: 几何画板;灰姑娘;GEX;地质学;单一;GCLC…
主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);几何(51-XX)

CGAL公司

软件作者:CGAL编辑委员会
引用于: 381出版物(2000年至2023年)
相关软件: LEDA;二维三角剖分;二维布置;三角形;促进;Qhull…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)

BARON公司

软件作者:尼古拉斯五世·萨希尼迪斯。
引用于: 378出版物(1996-2023)
相关软件: GAMS;CPLEX;SCIP;安提戈内;林多;Ipopt…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

MersenneTwister公司

软件作者:松本真本;西村、高治
引用于: 339出版物(1998年至2022年)
相关软件: 测试U01;R;迪哈德;CUDA;GSL;TOMS659…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

表格

软件作者:Kuipers,J。;上田,T。;Vermaseren,J.A.M。;J.沃林加。
引用于: 340出版物(1993年至2022年)
相关软件: 粉碎机;阿克索德劳;雷杜泽;Mathematica;Forcer;谐波和…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);量子理论(81-XX)

多晶的

软件作者:Ewgenij Gawrilow、Michael Joswig和polymake团队
引用于: 336出版物(2000-2022)
相关软件: 麦考利2号;格凡;Normaliz;单一;间隙;TOPCOM…
主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)

Qhull公司

软件作者:C、。Bradford Barber、Hannu Huhdanpaa
引用于: 312出版物(1996-2022)
相关软件: Matlab;CGAL;三角形;UCI-ml;R;数学…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

达奇

软件作者:马丁·德雷斯
引用于: 308出版物(2006–2022)
相关软件: ImageNet;AlexNet;亚当;PRMLT;TensorFlow;GitHub…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

GloptiPoly公司

软件作者:迪迪埃·亨利安(Didier Henrion);Jean-Bernard Lasserre;约翰·勒夫伯格
引用于: 330本出版物(2003年至2022年)
相关软件: 塞杜米;YALMIP;粪便;SDPT3;Matlab;稀疏POP…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

MNIST公司

软件作者:年。乐村;C.科尔特斯;克里斯托弗·J·C·伯格
引用于: 294出版物(2001-2023)
相关软件: UCI-ml;ImageNet;亚当;TensorFlow;CIFAR;AlexNet…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

电子数据

软件作者:J。E.克雷莫纳
引用于: 330出版物(1992年至2022年)
相关软件: 岩浆;SageMath;PARI/GP;LMFDB;mwrank;APECS…
主要字段: 数论(11-XX);代数几何(14-XX);群论与推广(20-XX)

CGS公司

软件作者:彼得·桑内菲尔德
引用于: 329出版物(1986年至2022年)
相关软件: BiCGstab;GpBiCg;na1;稀疏矩阵;symrcm;Harwell-Being稀疏矩阵集合…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

麦克卢斯特

软件作者:克里斯·弗雷利(Chris Fraley);阿德里安·拉弗瑞;卢卡·斯克鲁卡
引用于: 283出版物(1999-2023)
相关软件: R;PGMM;flexmix;UCI-ml;集群发现;混合工具…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

水獭

软件作者:比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
引用于: 305本出版物(1988年至2022年)
相关软件: TPTP;梅斯4;VAMPIRE公司;SPASS;E定理证明器;SETHEO…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)

协和式飞机

软件作者:Applegate,David L。;Robert E.Bixby。;瓦舍克·查塔尔;威廉·库克。
引用于: 311出版物(1997年至2022年)
相关软件: TSPLIB;LKH;VRP;CPLEX;SCIP;DIMACS…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

纽顿图书馆

软件作者:彼得·德弗哈德(Peter Deufhard);卢茨·魏曼
引用于: 314出版物(2001年至2023年)
相关软件: Matlab;罗德斯;PETSc;凯利;DUNE;ALCON…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

HOL灯

软件作者:约翰·哈里森
引用于: 305本出版物(1998年至2022年)
相关软件: Coq;Isabelle/HOL;HOL;伊莎贝尔;米扎尔;ML…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)

并入PT_90

软件作者:R.Baker Kearfott先生
引用于: 304出版物(1996-2021)
相关软件: 国际实验室;剖面/偏差;C-XSC;C-XSC 2.0;BARON公司;数值…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)

Sostools公司

软件作者:史蒂芬·般若(Stephen Prajna);安东尼斯·帕帕克里斯托杜鲁(Antonis Papachristodoulou);彼得·塞勒(Peter Seiler);巴勃罗·帕里洛。
引用于: 297出版物(2002年至2023年)
相关软件: 塞杜米;YALMIP;GloptiPoly;Matlab;SDPT3;SDPA…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)

ACL2型

软件作者:马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore)
引用于: 280本出版物(1998年至2022年)
相关软件: Coq;Isabelle/HOL;HOL;PVS;伊莎贝尔;HOL灯…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)

gmp公司

软件作者:格兰伦德
引用于: 275本出版物(1995年至2023年)
相关软件: MPFR;NTL;PARI/GP;SageMath;岩浆;数学…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)

阿尔戈68

软件作者:van Wijngaarden,A.作者简介;梅勒鲁,B.J。;Peck,J.E.L。;科斯特,C.H.A。;辛佐夫,M。;Lindsey,C.H。;Meertens,L.G.L.T。;R.G.菲斯克。
引用于: 280本出版物(1969-2019)
相关软件: ALGOL 60;Simula 67;Ada95;损益表;SNOBOL公司;LCF…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)

Z轴

软件作者:吉姆·伍德科克;吉姆·戴维斯
引用于: 228出版物(1958-2022)
相关软件: 马戏团;电源保护;罗丹;Z/EVES;埃菲尔;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)

QEPCAD公司

软件作者:Hoon Hong;克里斯托弗·布朗(Christopher W.Brown)。
引用于: 286出版物(1991年至2023年)
相关软件: REDLOG;枫树;RSOLVER公司;梅蒂塔斯基;发现者;z3…
主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)

算法97

软件作者:罗伯特·W·弗洛伊德
引用于: 271出版物(1971-2022)
相关软件: CPLEX;禁忌搜索;OR-库;DIMACS;VRP;VeriSIMPL…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)

fmin搜索

软件作者:杰弗里·拉加里亚斯。;詹姆斯·里兹(James A.Reeds)。;Margaret H.Wright。;保罗·赖特(Paul E.Wright)。
引用于: 266出版物(1996-2022)
相关软件: Matlab;凯利;minpack;布伦特;MultiMin;MATLAB ODE套件…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)

麦克利埃塞

软件作者:斯特凡·海斯;阿米尔·莫拉迪;克里斯托夫·帕尔
引用于: 270本出版物(1981年至2022年)
相关软件: NTRU;岩浆;自行车;NTL;杜兰达尔;SageMath…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)

GSL公司

软件作者:自由软件基金会,M.Galassi,J.Davies,J.Theiler,B.Gough,G.Jungman,P.Alken,M.Booth,F.Rossi
引用于: 252出版物(2002年至2022年)
相关软件: R;LAPACK;MersenneTwister;PETSc;Mathematica;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)

佩尔

软件作者:拉里·沃尔
引用于: 218出版物(1992年至2022年)
相关软件: TTTPLOTS;蟒蛇;GRASP;分散搜索;R;禁忌搜索…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

贝尔蒂尼

软件作者:D。贝茨,J.豪恩斯坦,A.Sommese,C。Wampler公司
引用于: 261出版物(2008–2023)
相关软件: PHCpack;麦考利2号;HOM4PS;alpha认证;单一;数字代数几何…
主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)