×

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

Matlab公司

13814年文献引用(1982–2025)
软件作者: MathWorks公司
相关软件: Simulink;LMI工具箱;枫树…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

R(右)

9676份文件引用(1978年至2024年)
软件作者: 哈德利·威克姆;先生,罗伯特;罗斯·伊哈卡(Ross Ihaka);约翰·钱伯斯(John M.Chambers)。;William N.Venables。;布莱恩·里普利。
相关软件: CRAN;SAS;ggplot2…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

数学软件

6559份文件中引用(1986–2024)
软件作者: 沃尔夫勒姆研究公司
相关软件: 枫树;Matlab;R、 …
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

枫树

5366份文件引用(1983–2024)
软件作者: 滑铁卢枫叶公司。
相关软件: Mathematica;Matlab;岩浆…
主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…

组织环境信息系统

5321文件引用(1973–2025)
软件作者: 尼尔·J·A·斯隆。;OEIS基金会。
相关软件: SageMath;Mathematica;间隙…
主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)…

github

3786份文件引用(2010–2024)
软件作者: github
相关软件: R;亚当;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

岩浆

4006文件引用(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-毫升

3029文件引用(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)…

间隙

3668份文件引用(1990–2024)
软件作者: GAP集团
相关软件: 岩浆;SageMath;ATLAS集团代表…
主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)…

CPLEX公司

2956份文件引用(1992–2024)
软件作者: IBM公司
相关软件: 古罗比;SCIP;AMPL…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

蟒蛇

1429年文献引用(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)…

Coq公司

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

亚当

1792年文献中引用(2016–2024)
软件作者: Diederik P.Kingma、Jimmy Ba
相关软件: TensorFlow;PyTorch;ImageNet…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

fda(右)

1806年文献引用(1997–2024)
软件作者: J.O.Ramsay、Hadley Wickham、Spencer Graves、Giles Hooker
相关软件: R;半标准杆;ElemStatLearn…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

LAPACK公司

1758年文献引用(1988–2024)
软件作者: LAPACK团队:lapack@cs.utk.edu公司
相关软件: 爆破;斯卡拉帕克;mctoolbox…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

SAS公司

1537年文献引用(1976–2024)
软件作者: SAS协会
相关软件: R;SAS/STAT;SPSS…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

单一

1649年文献引用(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工具箱

1493年文献引用(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.菲泽克。
相关软件: 开放式CL;CUBLAS;Matlab…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

塞杜米

1380年文献引用(1999–2024)
软件作者: 斯图尔姆·J·F
相关软件: YALMIP;SDPT3;GloptiPoly…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

伦敦银行支持向量机

1046份文件引用(2002–2024)
软件作者: 志忠昌;林智仁
相关软件: UCI-ml;LIBLINEAR;SVMlight…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

VRP公司

1257年文献引用(1981–2024)
软件作者: NEO:网络和新兴优化
相关软件: CVRPSP;CPLEX;禁忌搜索…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

YALMIP公司

1257年文献引用(2004–2024)
软件作者: 约翰·洛夫伯格
相关软件: 塞杜米;SDPT3;Mosek…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

4.5条

836份文件引用(1991–2024)
软件作者: 昆兰,J。;规则任务
相关软件: UCI-ml;R;威卡…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

伊莎贝尔/HOL

1073份文件引用(1996–2024)
软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科
相关软件: 伊莎贝尔;辅酶q;HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

基因科普

971文献引用(1992–2023)
软件作者: Z.米查莱维茨(Michalewicz);G.纳齐亚思
相关软件: 禁忌搜索;UCI-ml;C4.5…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

科学Py

引用于819份文件(2005–2024)
软件作者: Jones,E.、Oliphant,T.、Peterson,P.等人。
相关软件: 蟒蛇;数字Py;Matplotlib…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

科恩平滑

1082文件引用(1993年至2024年)
软件作者: Wand,医学博士。;M.C.琼斯。;布莱恩·里普利
相关软件: R;pyuvdata;fda(R)…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-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;澳大利亚统计局;心情…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

禁忌搜索

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

ImageNet公司

937份文件引用(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;喀拉斯…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

AUTO(自动)

1016份文件引用(1981–2024)
软件作者: 多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海
相关软件: AUTO-07P;HomCont;自动-86…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

L-BFGS公司

987年文献引用(1981–2024)
软件作者: 朱慈友;理查德·伯德。;吕培煌;豪尔赫·诺塞达尔
相关软件: L-BFGS-B;LBFGS-B;切割机…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

哈斯克尔

839份文件引用(1989–2023)
软件作者:
相关软件: 辅酶q;毫升;GHC…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

PyTorch公司

691份文件引用(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)…

GAMS游戏

898份文件引用(1984–2024)
软件作者: GAMS开发公司,GAMS软件有限公司
相关软件: CPLEX;AMPL;MINOS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Stata公司

760份文件引用(1993年至2024年)
软件作者: StataCorp有限公司
相关软件: R;SAS;SPSS…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

量化风险管理

875份文件引用(2005–2024)
软件作者: 伯恩哈德·普法夫;马吕斯·霍弗特;亚历山大·麦克尼尔;斯科特·乌尔曼
相关软件: R;CopulaModel;连接词…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

擅长

引用于543份文件(1989–2024)
软件作者: 微软
相关软件: R;Matlab;SPSS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Simulink公司

704份文件引用(1994年至2024年)
软件作者: MathWorks公司
相关软件: Matlab;歌曲15;状态流…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

WinBUGS公司

760份文件引用(1999–2023)
软件作者: 大卫·斯皮格尔哈尔特;安德鲁·托马斯;Nicky Best;戴夫·伦恩
相关软件: R;贝叶斯DA;错误…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

AlexNet公司

781文件引用(2014–2024)
软件作者: Alex Krizhevsky、Ilya Sutskever、Geoffrey E Hinton
相关软件: ImageNet;亚当;TensorFlow…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

数学溢出

759份文件引用(2010–2023)
软件作者: Stack Exchange公司
相关软件: 组织环境信息系统;SageMath;GitHub…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

朱莉娅

652份文件引用(2014–2024)
软件作者: Bezanson J、Karpinski S、Shah VB、Edelman A
相关软件: GitHub;JuMP;微分方程.jl…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

z3(零3)

760份文件引用(2001–2024)
软件作者: 微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳
相关软件: CVC4;SMT-LIB;Yices…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

数字Py

441份文件引用(2000–2024)
软件作者: 奥列芬特,T.E。
相关软件: 蟒蛇;SciPy;Matplotlib…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

ANSYS有限元分析软件

750份文件中引用(1978–2024)
软件作者: John Swanson,Ansys公司。
相关软件: 阿巴夸斯;Matlab;FLUENT…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

SDPT3系统

768份文件引用(1986–2024)
软件作者: Toh,K.C。;托德,M.J。;TüTüncü,R.H。
相关软件: 塞杜米;YALMIP;CVX…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

伊莎贝尔

741份文件引用(1990–2024)
软件作者: 拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel)
相关软件: Isabelle/HOL;HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

自旋蛋白

619文件引用(1990–2023)
软件作者: 贝尔实验室
相关软件: NuSMV;Uppaal;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

减少

738份文件引用(1970–2023)
软件作者: Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf;托马斯·斯特姆
相关软件: 枫树;Mathematica;马西玛…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

PARI/GP公司

744份文件中引用(1992–2024)
软件作者: 亨利·科恩;卡里姆·贝拉巴斯;PARI组
相关软件: 岩浆;SageMath;间隙…
主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…

mf工具箱

725份文件引用(2008–2024)
软件作者: N.J.海姆
相关软件: mctoolbox;Matlab;MATLAB扩展…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX)…

SPSS软件

引用于545份文件(1974–2024)
软件作者: IBM;诺曼·H·聂;C.哈德莱船体
相关软件: SAS;R;状态…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

莫德

646份文件引用(1984–2023)
软件作者: Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;莫德团队
相关软件: 咖啡馆;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)…

开放式泡沫

666份文件引用(2007年至2024年)
软件作者: OpenCFD有限公司(ESI集团)
相关软件: FLUENT公司;GitHub;Matlab…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

鹦鹉螺

691份文献引用(1988–2024)
软件作者: 布伦丹·麦凯;阿道夫·皮佩诺
相关软件: 踪迹;间隙;OEIS…
主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)…

Uppaal公司

引用于568份文件(1990–2023)
软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学
相关软件: 克罗诺斯;高科技;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

阿尔戈60

654份文件引用(1959–2024)
软件作者: Naur,P。;巴克斯,J.W。;等。
相关软件: ALGOL 68;欧拉;损益表…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

SCIP公司

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

PVS公司

617文件引用(1993–2023)
软件作者: Sam Owre、Natarajan Shankar、John Rushby
相关软件: 辅酶q;Isabelle/HOL;HOL…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

超小卫星

587份文件引用(2003–2023)
软件作者: Niklas Eén、Niklas Sörensson
相关软件: 糠;伯克敏;z3…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

二甲基丙烯酸甲酯

603文件引用(1993年至2024年)
软件作者: 约翰逊,D.S。;诡计,M。
相关软件: 禁忌搜索;SATO;箔条…
主要字段: 组合数学(05-XX);数值分析(65-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)…

鲁棒基地

570份文件引用(1992–2024)
软件作者: 彼得·卢梭;克里斯托夫·克劳斯;瓦伦丁·托多罗夫、安德烈亚斯·鲁克斯图尔、马蒂亚斯·萨利比安·巴雷拉、托比亚斯·韦贝克、曼努埃尔·科勒、马丁·梅克勒
相关软件: R;RobStatTM;rrcov…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

林多

561份文件引用(1982–2023)
软件作者: LINDO系统;林友东;莱纳斯·施拉格
相关软件: 术语;LINDOGlobal公司;SCIP…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

群集查找

468份文件引用(1990–2024)
软件作者: 考夫曼(Leonhard Kaufman);彼得·卢梭。
相关软件: UCI-ml;R;剪影…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

毫升

引用于516份文件(1978–2024)
软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学
相关软件: HOL;辅酶q;伊莎贝尔…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

背包

539份文件引用(1995–2024)
软件作者: 戴维·皮辛格(David Pisinger);保罗·托斯
相关软件: CPLEX;默克纳普;OR-库…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

米扎尔

535份文件引用(1983–2024)
软件作者: Grzegorz Bancerek公司;茨瓦夫·拜林斯基;亚当·格拉博夫斯基(Adam Grabowski);阿图尔·科尼洛维奇;罗伯特·米列夫斯基(Robert Milewski);亚当·诺莫维奇(Adam Naumowicz);Andrzej Trybulec;约瑟夫·乌尔班
相关软件: 辅酶q;Isabelle/HOL;HOL灯…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…

切布冯

522份文件引用(2004–2024)
软件作者: Chebfun团队;A Driscoll,N.Hale,L.N.Trefethen
相关软件: Matlab;DLMF;Chebfun2…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…

SPEA2公司

445份文件中引用(1983–2024)
软件作者: 斯特凡·布鲁勒;马尔科·劳曼斯;Lothar Thiele;埃卡特·齐兹勒
相关软件: MOEA/D;SMS-EMOA;PAES…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

LBFGS-B型

引用于521份文件(1994年至2024年)
软件作者: 朱慈友;理查德·伯德。;吕培煌;豪尔赫·诺塞达尔
相关软件: L-BFGS;L-BFGS-B;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

合卡尔曼滤波

523份文件引用(2003–2024)
软件作者: 埃文森,盖尔;P.萨科夫
相关软件: GSLIB;Matlab;PRMLT…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…

棱镜

498份文件引用(2001–2023)
软件作者: 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克
相关软件: MRMC;风暴;Uppaal…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

马特普洛特利布

309份文件引用(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)…

斯坦

419份文件引用(2013–2024)
软件作者: Stan开发团队
相关软件: R;JAGS;贝叶斯DA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

自动化

引用于461份文件(1970–2023)
软件作者: N.G.de Bruijn;弗里克·维迪jk;卡马雷迪内(Kamaredine,Fairouz);Twan Laan;罗伯·奈德佩尔特
相关软件: 辅酶q;Nuprl;ML…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

MINOS公司

引用于461份文件(1980–2023)
软件作者: B.A.Murtagh;M.A.桑德斯
相关软件: GAMS;SNOPT;AMPL…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

CGAL公司

引用于422份文件(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)…

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

426份文件引用(2005–2024)
软件作者: 阿德尔奇·阿扎里尼
相关软件: R;mixsmsn;QRM…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

TPTP公司

419份文件引用(1994–2023)
软件作者: Geoff Sutcliffe;克里斯蒂安·萨特纳
相关软件: VAMPIRE公司;E定理证明器;SPASS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段