Matlab公司 13834年文献引用(1982–2025) 软件作者: MathWorks公司 相关软件: Simulink;LMI工具箱;枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
R(右) 9680份文件中引用(1978年至2024年) 软件作者: 哈德利·威克姆;先生,罗伯特;罗斯·伊哈卡(Ross Ihaka);约翰·钱伯斯(John M.Chambers)。;William N.Venables。;布莱恩·里普利。 相关软件: CRAN;SAS;ggplot2… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
数学软件 6560份文件引用(1986年至2024年) 软件作者: 沃尔夫勒姆研究公司 相关软件: 枫树;Matlab;R、 … 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
枫树 5368份文件引用(1983–2024) 软件作者: 滑铁卢枫叶公司。 相关软件: Mathematica;Matlab;岩浆… 主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…
OEIS公司 5349份文件引用(1973–2025) 软件作者: 尼尔·J·A·斯隆。;OEIS基金会。 相关软件: SageMath;Mathematica;间隙… 主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)…
github 5222份文件引用(2010–2024) 软件作者: github 相关软件: R;亚当;Matlab… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
岩浆 4007文件引用(1994–2024) 软件作者: W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件: 间隙;SageMath;PARI/GP… 主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…
UCI-毫升 3034文件引用(1995–2024) 软件作者: David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman 相关软件: C4.5;LIBSVM;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
DLMF公司 3806文件引用(2000–2024) 软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。 相关软件: Mathematica;Matlab;OEIS… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
间隙 3676份文件引用(1990–2024) 软件作者: GAP集团 相关软件: 岩浆;SageMath;ATLAS集团代表… 主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)…
CPLEX公司 2956份文件引用(1992–2024) 软件作者: IBM公司 相关软件: 古罗比;SCIP;AMPL… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
蟒蛇 1432年文献引用(1991–2025) 软件作者: 吉多·范罗苏姆 相关软件: SciPy;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
SageMath公司 2596份文件引用(2002–2024) 软件作者: 贤明的开发商;威廉·斯坦因;大卫·乔伊纳(David Joyner);David Kohel;约翰·克雷莫纳;伯里钦·埃罗卡尔 相关软件: 岩浆;间隙;GitHub… 主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…
麦考利2 引用于2263份文件(1988–2024) 软件作者: 丹尼尔·格雷森(Daniel R.Grayson)。;迈克尔·E·斯蒂尔曼。;戴维·艾森巴德(David Eisenbud);http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件: 单一;可可;SageMath… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
Coq公司 1974年文献引用(1993–2024) 软件作者: 克利斯朵夫·德林格;Jean-François Dufourd 相关软件: Isabelle/HOL;伊莎贝尔;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
亚当 1802年文献引用(2016–2024) 软件作者: Diederik P.Kingma、Jimmy Ba 相关软件: TensorFlow;PyTorch;ImageNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ElemStatLearn(电子状态学习) 1764年文献引用(2001–2024) 软件作者: 杰蒂尔·哈沃森 相关软件: R;UCI-ml;PRMLT… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
LAPACK公司 1759年文献引用(1988–2024) 软件作者: LAPACK团队:lapack@cs.utk.edu 相关软件: BLAS;ScaLAPACK;mctoolbox… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
单一 引用于1650份文件(1991–2024) 软件作者: Wolfram Decker;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼 相关软件: 麦考利2号;可可;SageMath… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
MC工具箱 1630年文献引用(1995–2024) 软件作者: 尼克·海姆 相关软件: LAPACK;Matlab;mftoolx… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
贝叶斯DA 1561年文献中引用(1997–2024) 软件作者: 杰蒂尔·哈沃森 相关软件: R;WinBUGS;斯坦… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
LMI工具箱 1494年文献引用(1995–2024) 软件作者: 数学作品;Gahinet,P。;涅米罗夫斯基,A。;劳布,A.J。;M.奇拉利。 相关软件: Matlab;控制系统工具箱;YALMIP… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);运筹学,数学规划(90-XX)…
PRMLT公司 1373年文件引用(2006–2024) 软件作者: C.主教 相关软件: UCI-ml;ElemStatLearn;亚当… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
CUDA公司 1187年文献引用(2007年至2024年) 软件作者: NVIDIA公司;佩特·文格曼;Frank H.P.菲泽克。 相关软件: OpenCL;CUBLAS;Matlab… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
塞杜米 1380年文献引用(1999–2024) 软件作者: 斯图尔姆·J·F 相关软件: YALMIP;SDPT3;GloptiPoly… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
VRP公司 1257年文献引用(1981–2024) 软件作者: NEO:网络和新兴优化 相关软件: CVRPSP;CPLEX;禁忌搜索… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
YALMIP公司 1259年文献引用(2004–2024) 软件作者: 约翰·洛夫伯格 相关软件: SeDuMi公司;SDPT3;Mosek… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
FEniCS公司 1182份文件引用(2007年至2024年) 软件作者: 剑桥大学、芝加哥大学、德克萨斯理工大学和KTH皇家理工学院Simula研究实验室 相关软件: SyFi;PETSc;道芬… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;辅酶q;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
科学Py 822份文件引用(2005–2024) 软件作者: Jones,E.、Oliphant,T.、Peterson,P.等人。 相关软件: 蟒蛇;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
古罗比 1079份文件引用(2010–2024) 软件作者: 宗豪古;Ed Rothberg;鲍勃·比克斯比;Gurobi Optimization公司。 相关软件: CPLEX;SCIP;GitHub… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
HE-E1GODF公司 1109文件引用(1997–2024) 软件作者: E.F托罗 相关软件: HLLE;澳大利亚统计局;MOOD… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
ImageNet公司 950篇文献引用(2010–2024) 软件作者: J.Deng、W.Dong、R.Socher、L.-J.Li、K.Li、L.Fei-Fei 相关软件: AlexNet;亚当;TensorFlow… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
TensorFlow公司 856份文件引用(2016–2024) 软件作者: 谷歌大脑团队;M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人 相关软件: 亚当;PyTorch;Keras… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
AUTO(自动) 1016份文件引用(1981–2024) 软件作者: 多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海 相关软件: AUTO-07P;HomCont;自动-86… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
CVX公司 999文件引用(2006–2024) 软件作者: 迈克尔·格兰特;斯蒂芬·博伊德 相关软件: SDPT3;SeDuMi公司;YALMIP… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
L-BFGS公司 987年文献引用(1981–2024) 软件作者: 朱慈友;理查德·伯德。;吕培煌;豪尔赫·诺塞达尔 相关软件: L-BFGS-B;LBFGS-B;切割机… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
Scikit公司 735份文件引用(2011–2024) 软件作者: 费比安·佩德雷戈萨;加尔·瓦罗佐;亚历山大·格兰福特;文森特·米歇尔;贝特朗·蒂里昂;奥利维尔·格里塞尔;马修·布隆德尔;彼得·普雷滕霍弗(Peter Prettenhofer);罗恩·维斯(Ron Weiss);文森特·杜伯格(Vincent Dubourg);Jake Vanderplas;亚历山大·帕索斯;大卫·库纳波(David Cournapeau);马蒂厄·布鲁彻;马蒂厄·佩罗(Matthieu Perrot);爱杜华·公爵夫人 相关软件: 蟒蛇;SciPy;TensorFlow… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
PyTorch公司 693份文件引用(2018–2024) 软件作者: A.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 相关软件: 亚当;TensorFlow;Python… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ARPACK公司 889份文件引用(1995–2024) 软件作者: 勒霍克;索伦森;杨 相关软件: eigs;JDQZ;JDQR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
AlexNet公司 引用于782份文件(2014–2024) 软件作者: Alex Krizhevsky、Ilya Sutskever、Geoffrey E Hinton 相关软件: ImageNet;亚当;TensorFlow… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
数学溢出 827份文件引用(2010–2024) 软件作者: Stack Exchange公司 相关软件: 组织环境信息系统;SageMath;GitHub… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
朱莉娅 653份文件引用(2014–2024) 软件作者: Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件: GitHub;JuMP;微分方程.jl… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
z3(零3) 762份文件引用(2001–2024) 软件作者: 微软研究;莱昂纳多·德·莫拉;尼古拉·比约纳 相关软件: CVC4;SMT-LIB;Yices… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
数字Py 442份文件引用(2000–2024) 软件作者: 奥列芬特,T.E。 相关软件: 蟒蛇;SciPy;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
小背包 793文件引用(1979–2024) 软件作者: Garbow B、Hillstrom K、More J 相关软件: 切割机;L-BFGS;HYBRJ… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
PDCO公司 764份文件引用(1999–2024) 软件作者: 桑德斯,硕士 相关软件: CoSaMP;SPGL1;NESTA… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
SDPT3系统 768份文件引用(1986年至2024年) 软件作者: Toh,K.C。;托德,M.J。;TüTüncü,R.H。 相关软件: SeDuMi公司;YALMIP;CVX… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
伊莎贝尔 742份文件引用(1990–2024) 软件作者: 拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel) 相关软件: Isabelle/HOL;HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
交易.ii 728份文件引用(1999–2024) 软件作者: Bangerth W、Hartman R、Kanschat G 相关软件: 特里利诺斯;PETSc;测试… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
减少 738份文件引用(1970–2023) 软件作者: Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf;托马斯·斯特姆 相关软件: 枫树;Mathematica;马西玛… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
PARI/GP公司 744份文件中引用(1992–2024) 软件作者: 亨利·科恩;卡里姆·贝拉巴斯(Karim Belabas);PARI组 相关软件: 岩浆;SageMath;间隙… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
mf工具箱 751份文件引用(2008–2024) 软件作者: N.J.海姆 相关软件: mctoolbox;Matlab;MATLAB扩展… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX)…
莫德 646份文件引用(1984–2023) 软件作者: Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;莫德团队 相关软件: OBJ咖啡馆;OBJ3;ELAN… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
伊斯兰教 718份文件引用(1971–2023) 软件作者: 符号学 相关软件: 枫树;Mathematica;减少… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
可可 680份文件引用(1989–2024) 软件作者: CoCoa-Team;洛伦佐·罗比亚诺 相关软件: 麦考利2号;单一;CoCoALib… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
鹦鹉螺 691份文献引用(1988–2024) 软件作者: 布伦丹·麦凯;阿道夫·皮佩诺 相关软件: 踪迹;间隙;OEIS… 主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)…
Uppaal公司 引用于568份文件(1990–2023) 软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学 相关软件: 克罗诺斯;高科技;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
玻璃制品 658份文件引用(2008–2024) 软件作者: 拉胡尔·马祖姆德(Rahul Mazumder);特雷弗·哈斯蒂;J.Friedman,T。;R.蒂比拉尼 相关软件: R;glmnet;巨大… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
AMPL公司 648份文件引用(1989–2023) 软件作者: 福勒,R.,盖伊,D.M.,科尼根,B.W。 相关软件: CPLEX;Ipopt;游戏… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
凯利 664份文件引用(1995–2024) 软件作者: C.T.凯利。 相关软件: minpack;L-BFGS;Matlab… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
SCIP公司 650篇文献中引用(2005–2024) 软件作者: 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件: CPLEX;MIPLIB公司;古罗比… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
莫塞克 634份文件引用(1999–2024) 软件作者: 莫斯科ApS 相关软件: YALMIP;SeDuMi公司;SDPT3… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
PVS公司 617文件引用(1993年-2023年) 软件作者: Sam Owre、Natarajan Shankar、John Rushby 相关软件: 辅酶q;Isabelle/HOL;HOL… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
JDQZ公司 644份文件引用(1996–2024) 软件作者: D.R.福克马;G.L.G.Sleijpen;H.A.范德沃斯特 相关软件: JDQR;ARPACK;eigs… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
超小卫星 587份文件引用(2003–2023) 软件作者: Niklas Eén、Niklas Sörensson 相关软件: 糠;伯克敏;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
FFTW公司 570份文件引用(2000–2024) 软件作者: 麻省理工学院;马泰奥·弗里戈(Matteo Frigo);史蒂文·约翰逊 相关软件: Matlab;ATLAS;LAPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
霍尔 592份文件引用(1985–2023) 软件作者: 迈克尔·J·C·戈登。 相关软件: 伊莎贝尔;Isabelle/HOL;ML… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
糠 559份文件引用(2001–2023) 软件作者: Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S 相关软件: MiniSat;伯克敏;SATO… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Eigtool公司 596份文件引用(1996–2024) 软件作者: 托马斯·赖特;Nick Trefethen;马克·恩布雷 相关软件: ARPACK;Seigtool公司;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);算子理论(47-XX)…
背包 539份文件引用(1995–2024) 软件作者: 戴维·皮辛格(David Pisinger);保罗·托斯 相关软件: CPLEX;默克纳普;OR-库… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
JDQR公司 540份文件引用(1996–2024) 软件作者: 杰拉德·L.G.斯莱杰本 相关软件: JDQZ;ARPACK;eigs… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
磁粉探伤 490份文件引用(1990–2024) 软件作者: 杰弗里·菲克(Jeffrey A.Fike)。;胡安·阿隆索。 相关软件: LAPACK;CUDA;PETSc… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
米扎尔 535份文件引用(1983–2024) 软件作者: Grzegorz Bancerek公司;茨瓦夫·拜林斯基;亚当·格拉博夫斯基(Adam Grabowski);阿图尔·科尼洛维奇;罗伯特·米列夫斯基(Robert Milewski);亚当·诺莫维奇(Adam Naumowicz);Andrzej Trybulec;约瑟夫·乌尔班 相关软件: 辅酶q;Isabelle/HOL;HOL灯… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
LINPACK系列 506份文件引用(1979–2023) 软件作者: 犹他大学数学系;J.Dongarra、J.Bunch、C.Moler、G.W.Stewart 相关软件: LAPACK;EISPACK;BLAS… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
切布冯 524份文件引用(2004–2024) 软件作者: Chebfun团队;A Driscoll,N.Hale,L.N.Trefethen 相关软件: Matlab;DLMF;Chebfun2… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…
MATCONT公司 526份文件引用(2003–2024) 软件作者: Dhooge,A。;乌龟,B。;Govaerts,W。;于库兹涅佐夫。答:。 相关软件: 自动;Matlab;CL_MATCONT… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
马特普洛特利布 310份文件引用(2007年至2024年) 软件作者: John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 相关软件: 数字Py;蟒蛇;科学… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
TETRAD公司 484份文件引用(1993–2024) 软件作者: 克拉克·格雷摩尔(Clark Glymour);Richard Scheines;彼得·斯皮特斯;约瑟夫·拉姆齐 相关软件: pcalg;R;学习… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…
国际实验室 508份文件引用(1999–2024) 软件作者: 齐格弗里德·M·臀部。 相关软件: Matlab;mctoolbox;C-XSC 2.0… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
布伦特 497份文件引用(1971–2024) 软件作者: 理查德·布伦特(Richard Brent);约翰·伯克特 相关软件: R;minpack;Matlab… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
操作q 499份文件引用(2004–2024) 软件作者: 沃尔特·高茨基 相关软件: Matlab;DLMF;正交多项式… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似和展开(41-XX)…
EISPACK公司 492份文件引用(1974–2023) 软件作者: Brian Smith、James Boyle、Jack Dongarra、Burton Garbow、Y.Ikebe、V.Klema、Cleve Moler 相关软件: LAPACK;林帕克;BLAS… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);变形固体力学(74-XX)…
UMFPACK公司 引用于459份文件(1996–2024) 软件作者: 蒂莫西·戴维斯(Timothy A.Davis)。 相关软件: FreeFem++;PETSc;交易.ii… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
CGAL公司 423份文件引用(2000–2024) 软件作者: CGAL编辑委员会 相关软件: LEDA;二维三角剖分;三角形… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
UMDES公司 442份文件引用(1996–2023) 软件作者: 克里斯托斯·卡桑德拉斯(Christos G.Cassandras);斯特凡·拉福琼 相关软件: Supremica;libFAUDES;TCT… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
表格 引用于422份文件(1993–2024) 软件作者: Kuipers,J。;上田,T。;Vermaseren,J.A.M。;J.沃林加。 相关软件: 粉碎机;雷杜泽;Axodraw… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);量子理论(81-XX)…
GeoGebra公司 203篇文献引用(2007年至2024年) 软件作者: – 相关软件: 几何画板;灰姑娘;GEX… 主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);几何(51-XX)…
MNIST公司 389份文件引用(2001–2024) 软件作者: Y.LeCun;C.科尔特斯;克里斯托弗·J·C·伯格 相关软件: 亚当;UCI-ml;ImageNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
TPTP公司 419份文件引用(1994年-2023年) 软件作者: Geoff Sutcliffe;克里斯蒂安·萨特纳 相关软件: VAMPIRE公司;E定理证明器;SPASS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…
抱怨 引用于422份文件(1976年-2023年) 软件作者: 数值算法组 相关软件: 抱怨;Matlab;LAPACK… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
BARON公司 420篇文献引用(1996–2024) 软件作者: 尼古拉斯五世·萨希尼迪斯。 相关软件: CPLEX;GAMS;SCIP… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
Nuprl公司 418份文件引用(1986–2023) 软件作者: R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith 相关软件: 辅酶q;HOL;自动… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
达奇 379份文件引用(2006–2024) 软件作者: 马丁·德雷斯 相关软件: ImageNet;AlexNet;亚当… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
多晶的 400篇文献引用(2000–2024) 软件作者: Ewgenij Gawrilow、Michael Joswig和polymake团队 相关软件: 麦考利2号;格凡;正常(amp;N)… 主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)…
取消锁定BoX 406份文件引用(2010–2024) 软件作者: 纳撒内尔·佩罗丁 相关软件: PDCO;GitHub;iPiano… 主要字段: 算子理论(47-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
symrcm公司 382份文件引用(1979–2022) 软件作者: 艾伦·乔治;Joseph Liu;约翰·吉尔伯特(John R.Gilbert)。;聪明的鼹鼠;罗伯特·施赖伯 相关软件: 稀疏矩阵;CSparse;LAPACK… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
MersenneTwister公司 351篇文献引用(1998–2023) 软件作者: 松本真本;西村、高治 相关软件: 测试U01;R;死亡… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
GloptiPoly公司 360篇文献引用(2003–2024) 软件作者: 迪迪埃·亨利安(Didier Henrion);让-伯纳德·拉塞尔;约翰·勒夫伯格 相关软件: SeDuMi公司;YALMIP;Sostools… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…