×

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

Matlab语言

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

枫树

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

DLMF公司

3760份文件中引用(2000–2024)
软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。
相关软件: 数学;Matlab;OEIS…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

蟒蛇

1424年文献引用(1991–2025)
软件作者: 吉多·范罗苏姆
相关软件: SciPy;数字Py;Matplotlib…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

PETSc公司

1785年文献引用(1996–2024)
软件作者: S.Balay、W.D.Gropp、L.C.McInnes、B.F.Smith
相关软件: FEniCS;MUMPS;炒作…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

ABAQUS公司

1722年文献引用(1985年至2024年)
软件作者: Simulia(达索系统);ABAQUS公司
相关软件: ABAQUS/标准;UMAT;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

LMI工具箱

1493年文献中引用(1995–2024)
软件作者: 数学作品;Gahinet,P。;内米洛夫斯基,A。;劳布,A.J。;M.奇拉利。
相关软件: Matlab;控制系统工具箱;YALMIP…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);运筹学,数学规划(90-XX)…

CUDA公司

1179年文献引用(2007–2024)
软件作者: NVIDIA公司;佩特·文格曼;Frank H.P.菲泽克。
相关软件: OpenCL;立方体;Matlab…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

FEniCS公司

1162文件引用(2007–2024)
软件作者: 剑桥大学、芝加哥大学、得克萨斯理工大学和KTH皇家理工学院模拟研究实验室
相关软件: SyFi;PETSc;道芬…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

伊莎贝尔/霍尔

1068年文献引用(1996–2024)
软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科
相关软件: 伊莎贝尔;Coq;HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-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)…

规范化工具

809份文件引用(1994–2024)
软件作者: 汉森,Per Christian
相关软件: UTV;LSQR;IR工具…
主要字段: 偏微分方程(35-XX);算子理论(47-XX);数值分析(65-XX)…

z3(零3)

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

ANSYS有限元分析软件

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

交易.ii

引用于723份文件(1999–2024)
软件作者: Bangerth W、Hartman R、Kanschat G
相关软件: 特里利诺斯;PETSc;测试…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

伊莎贝尔

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

开放式泡沫

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

Uppaal公司

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

S-PLUS系统

621份文件引用(1994–2024)
软件作者: TIBCO软件公司。
相关软件: R;MEMSS;SAS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

PVS公司

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

切割机

648份文件引用(1994年至2024年)
软件作者: 尼古拉斯·I.M.古尔德。;多米尼克·奥尔班;马桶,Philippe L
相关软件: 可爱的;12月6日;L-BFGS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

HOL公司

592篇文献引用(1985–2023)
软件作者: 迈克尔·J·C·戈登。
相关软件: 伊莎贝尔;Isabelle/HOL;ML…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

鲁棒基地

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

切布冯

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

SAS/STAT系统

引用于405份文件(1992–2023)
软件作者: SAS公司
相关软件: SAS;R;Stata…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

特里利诺斯

423份文件引用(2003–2024)
软件作者: Trilinos贡献者
相关软件: PETSc;交易.ii;ML…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-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
相关软件: Coq;HOL;自动…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

生物导体

引用于253份文件(2003–2024)
软件作者: 开放式开发项目
相关软件: R;gcrma;edgeR…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

全球供应链

357份文件引用(1997年-2023年)
软件作者: 冲谷
相关软件: R;半标准杆;fda(R)…
主要字段: 功能分析(46-XX);概率论与随机过程(60-XX);统计学(62-XX)…

倍频程

296份文件引用(1992–2024)
软件作者: 约翰·伊顿
相关软件: Matlab;R;科学实验室…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

NuSMV公司

279篇文献引用(1999–2023)
软件作者: 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金西格里亚(Fausto Giunchiglia);马可·罗维里(Marco Roveri);罗伯特·卡瓦达(Roberto Cavada)、米歇尔·多里加蒂(Michele Dorigatti)、亚历山德罗·马里奥蒂(Alessandro Mariotti),安德烈亚·米切利(Andrea Micheli)、塞尔吉奥·莫弗(Sergio Mover)、马可·罗维里(Marco Rover
相关软件: 自旋蛋白;CUDD;Uppaal…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

HOL灯

319份文件引用(1998–2024)
软件作者: 约翰·哈里森
相关软件: 辅酶q;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

并入PT_90

310份文件引用(1996–2023)
软件作者: R.Baker Kearfott先生
相关软件: 国际实验室;C-XSC;个人资料/偏见…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

UTV公司

294份文件引用(1997–2024)
软件作者: 里卡多·D·费罗。;汉森,Per Christian
相关软件: 正规化工具;LSQR;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

CHEMKIN公司

271份文件引用(1982年至2024年)
软件作者: 桑迪亚国家实验室;Coltrin,M.E.,Kee,R.J.,Rupley,F.M.,Meeks,E。
相关软件: 运输;投票;预混合…
主要字段: 常微分方程(34-XX);数值分析(65-XX);流体力学(76-XX)…

克里斯托费尔

267篇文献引用(1996–2024)
软件作者: 托宾·A·德里斯科尔
相关软件: SC工具箱;Matlab;SCPACK…
主要字段: 复变量函数(30-XX);偏微分方程(35-XX);数值分析(65-XX)…

C解析

257篇文献引用(2006–2023)
软件作者: 蒂莫西·戴维斯(Timothy A.Davis)。
相关软件: 稀疏矩阵;Matlab;symrcm…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

PHC包

250篇文献引用(1999–2024)
软件作者: 简·维舍尔
相关软件: 贝尔蒂尼;麦考利2号;HOM4PS…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…

XPRESS公司

243篇文献引用(1989–2023)
软件作者: FICO公司
相关软件: CPLEX;SCIP;MIPLIB…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

踪迹

244篇文献引用(2014年至2024年)
软件作者: 阿道夫·皮佩诺
相关软件: nauti;SageMath;间隙…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

可爱的

244篇文献引用(1994–2024)
软件作者: 邦加兹,I。;康涅狄格州A。;古尔德,N。;厕所,博士。
相关软件: 切割机;L-BFGS;minpack…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

PSI-爆炸

141份文件引用(1999–2022)
软件作者: Altschul,S.F.、Madden,T.L.、Schäffer,A.A.、Zhang,J.、Zhan,Miller,W.、Lipman,D.J。
相关软件: 爆炸;Pfam;UniProt…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

12月6日

236篇文献引用(2003–2023)
软件作者: 尼古拉斯·I.M.古尔德。;多米尼克·奥尔班;菲利普·托因。
相关软件: 切割机;最小包装;L-BFGS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

斯帕斯基

225篇文献引用(1991–2024)
软件作者: 萨阿德
相关软件: ITSOL;ILUT;稀疏矩阵…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

JuMP公司

194份文件引用(2017–2024)
软件作者: I.Dunning、J.Huchette、M.Lubin
相关软件: 朱莉娅;古罗比;Ipopt…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

连接线

181份文件引用(2008–2023)
软件作者: Marius Hofert、Ivan Kojadinovic、Martin Maechler、Jun Yan
相关软件: copula;R;QRM…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

无人值守地面

185篇文献引用(1994–2021)
软件作者: 巴斯蒂安,P。;伯肯,K。;Johannsen,K。;朗·S。;Neuß,北。;伦茨·雷切尔,H。;维纳斯,C。
相关软件: DUNE;PETSc;PLTMG…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

预测

161份文件引用(2006–2024)
软件作者: Rob J Hyndman;斯拉瓦·拉兹巴什;德鲁·施密特
相关软件: 预测;R;expsmooth;…(扩展平滑;…)…
主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)…

LIBLINEAR银行

163篇文献引用(2008–2024)
软件作者: 荣恩范;张凯伟;谢卓绝;王祥瑞;林智仁
相关软件: LIBSVM;UCI-ml;Pegasos…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

CVC4型

185篇文献引用(2013–2023)
软件作者: Barrett,C.、Conway,C.L.、Deters,M.、Hadarean,L.、Jovanović,D.、King,T.、Reynolds,A.、Tinelli,C。
相关软件: z3;SMT-LIB;数学SAT5…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

科学实验室

173篇文献引用(1999–2023)
软件作者: Scilab企业;里卡多·法布里
相关软件: Matlab;倍频程;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

KEEL公司

113篇文献引用(2009–2024)
软件作者: Alcalá-Fdez,J。;桑切斯,L。;南卡罗来纳州加西亚。;德尔·耶稣,M.J。;文图拉,S。;加雷尔,J.M。;Otero,J。;罗梅罗,C。;百加得,J。;里瓦斯,V.M。;Fernández,J.C。;F.埃雷拉。
相关软件: JStatCom;UCI-ml;C4.5…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

套管,套管

174篇文献引用(1999–2023)
软件作者: 蒂尔·莫萨科夫斯基
相关软件: OBJ咖啡馆;赫茨;莫德…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

Matrix市场

175份文件中引用(1999–2024)
软件作者: Boisvert R.、Pozo R.、Remington K.、Barrett R.和Dongarra J
相关软件: 稀疏矩阵;Matlab;Harwell-Being稀疏矩阵集合…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

耐克5000

171篇文献引用(2010–2024)
软件作者: 佩普林斯基,A。;施拉特,P。;菲舍尔,P.F。;D.S.亨宁森。
相关软件: Nektar++;西蒙森;Gmsh…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

Globus工具包

61篇文献引用(2000–2022)
软件作者: 芝加哥大学;伊恩·福斯特。。。
相关软件: Condor-G;MPICH-G2;Nimrod/G…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

酯类

137篇文献引用(1985–2023)
软件作者: 杰拉德·贝瑞
相关软件: 卢斯特;信号;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

LiteRed公司

160篇文献引用(2013–2024)
软件作者: R·李
相关软件: 火灾;雷杜泽;消防5…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

gfun公司

153篇文献引用(1992–2023)
软件作者: B.救助;P.齐默尔曼
相关软件: 枫树;组织环境信息系统;生成函数…
主要字段: 组合数学(05-XX);数论(11-XX);特殊功能(33-XX)…

费恩规则

145篇文献引用(2010–2024)
软件作者: A.Alloul、N.D.Christensen、C.Degrade、C.Duhr、B.Fuks
相关软件: FeynArts;MadGraph;PYTHIA8…
主要字段: 概率论与随机过程(60-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

简化

135份文件引用(2001–2023)
软件作者: Detlefs,D。;Nelson,G。;J·B·萨克斯
相关软件: z3;电子稳定控制系统/Java;规范#…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

克林戈

139篇文献引用(2009–2023)
软件作者: 马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布
相关软件: 格林戈;卡环;WASP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

地理PDE

142篇文献引用(2011–2023)
软件作者: de Falco,C。;Reali,A。;瓦兹奎兹,R。
相关软件: ISOGAT;IETI;Matlab…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

预测

136篇文献引用(2010–2024)
软件作者: Rob J Hyndman;乔治·阿萨纳索普洛斯(George Athanasopoulos)、斯拉瓦·拉兹巴什(Slava Razbash)、德鲁·施密特(Drew Schmidt
相关软件: 预测;R;expsmooth;…(扩展平滑;…)…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

J工具

141份文件引用(2008–2024)
软件作者: 克劳德·本扎肯;纳迪娅·布劳纳
相关软件: 组织环境信息系统;MiniSat;GitHub…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

CADP公司

115篇文献引用(1997–2023)
软件作者: 休伯特·加拉维;赫尔曼斯,霍尔格;CONVCS团队
相关软件: 自旋蛋白;LOTOS;Uppaal…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

机锋网

137篇文献引用(2006–2024)
软件作者: 安德斯·内德加德·詹森
相关软件: 单一;麦考利2号;聚乙烯…
主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…

班德拉

105篇文献引用(2000–2023)
软件作者: 约翰·哈特克利夫;马修·德怀尔
相关软件: 自旋蛋白;Java PathFinder;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

测试U01

127篇文献引用(2005–2024)
软件作者: P.L'Ecuyer;R.西马德
相关软件: MersenneTwister;迪哈德;NIST统计测试套件…
主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…

A群集

101篇文献引用(2007年-2023年)
软件作者: 布伦丹·J·弗雷;德尔伯特·杜克;乌尔里希·博登霍夫(Ulrich Bodenhofer)、约翰·帕尔姆(Johannes Palme)、克拉特斯·梅尔科尼安(Chrats Melkonian)、安德烈亚斯·科特梅尔(Andreas Kothmeier)
相关软件: apcluster;UCI-ml;clusfind…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

抓斗切割

70篇文献引用(2007–2023)
软件作者: Rother C、Kolmogorov V、Blake A。
相关软件: MAXFLOW;BSDS;PASCAL VOC…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

格林戈

110篇文献引用(2007–2023)
软件作者: 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒
相关软件: 克林戈;卡环;WASP…
主要字段: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

M-MACBETH公司

120篇文献引用(1994–2024)
软件作者: 卡洛斯·巴纳·科斯塔;让-马里·德·科尔特;Jean-Claude Vansnick女士
相关软件: UTA Plus;视觉UTA;电气…
主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…

政治公众人物协议

111篇文献引用(1995–2024)
软件作者: 简·希尔斯顿;http://www.dcs.ed.ac.uk/pepa/people网站/
相关软件: 生物-PEPA;棱镜;生物活性炭…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

阿巴克斯

117篇文献引用(1996–2022)
软件作者: 精灵,马提亚斯;卡斯滕·古特温格;Jünger,迈克尔;乔瓦尼·里纳尔迪
相关软件: CPLEX;MINTO公司;SYMPHONY…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

AIR工具

114篇文献引用(2012–2024)
软件作者: 汉森,Per Christian;玛丽亚·萨希尔德·汉森
相关软件: 规范化工具;IR工具;UTV…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

插补

100篇文献引用(2002年-2023年)
软件作者: 俄勒冈州特罗扬斯卡娅。;康托,M。;夏洛克,G。;布朗,P。;哈斯蒂,T。;Tibshirani,R。;博茨坦,D。;奥特曼,R。
相关软件: R;softImpute;会展…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

皮奥莫

103篇文献引用(2012–2024)
软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。
相关软件: 古罗比;Ipopt;CPLEX…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

Mu分析与合成工具箱

109篇文献引用(1993–2021)
软件作者: 数学作品;加里·巴拉斯(Gary J.Balas)、约翰·多伊尔(John C.Doyle)、基斯·格洛弗(Keith Glover)、安迪·帕卡德(Andy Packard)、罗伊·史密斯(Roy Smith)
相关软件: 鲁棒控制工具箱;LMI工具箱;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);变形固体力学(74-XX)…

Pfam公司

57篇文献引用(1999年至2021年)
软件作者: Finn RD、Mistry J、Schuster-Bockler B、Griffiths-Jones S、Hollich V、Lassmann T、Moxon S、Marshall M、Khanna A、Durbin R、Eddy SR、Sonnhammer EL、Bateman A
相关软件: 磅/平方英寸;爆炸;KEGG…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

熊猫

22篇文献引用(2016–2024)
软件作者: 麦金尼
相关软件: 蟒蛇;数字Py;科学…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

TOMLAB公司

102份文件引用(1999–2024)
软件作者: 霍姆斯特罗姆,K.,戈兰,A.O.,埃德瓦尔,M.M。
相关软件: OPERA;NLPLIB;Matlab…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

伊莎贝尔/伊萨尔

100篇文献引用(2002年-2023年)
软件作者: 马库斯·温泽尔等人。
相关软件: 伊莎贝尔;Isabelle/HOL;Isar…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

锡林克斯

24篇文献引用(1994–2023)
软件作者: 赛灵思股份有限公司。
相关软件: Handel-C;Matlab;Simulink…
主要字段: 场论与多项式(12-XX);计算机科学(68-XX);量子理论(81-XX)…

ILOG时间表

87份文件引用(1996–2023)
软件作者: C·勒帕佩
相关软件: CPLEX;炸薯条;JOBSHOP…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

AGG公司

71篇文献引用(1994–2023)
软件作者: 加布里埃尔·坦泽尔
相关软件: 沟槽;进度;AToM3…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…

精益

89份文件引用(2015–2024)
软件作者: 微软;莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩(Floris van Doorn);雅各布·冯·劳默
相关软件: Coq;伊莎贝尔·霍尔;Agda…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);范畴理论;同调代数(18-XX)…

阿帕奇火花

74份文件引用(2015–2023)
软件作者: apache.org网站
相关软件: MLlib;MapReduce;Hadoop…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Potassco公司

82份文件引用(2008–2023)
软件作者: 马丁·格布瑟(Martin Gebser);本杰明·考夫曼;罗兰·卡明斯基(Roland Kaminski);马克斯·奥斯特罗斯基;托尔斯滕·绍布(Torsten Schaub);马吕斯·施奈德
相关软件: 克林戈;格林戈;扣…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

SWI序言

76篇文献引用(2000–2024)
软件作者: Wielemaker,J.、Schrijvers,T.、Triska,M.、Lager,T。
相关软件: SICStus公司;YAP-Prolog;XSB…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

可视化C++

84份文件引用(1993年-2023年)
软件作者: 微软
相关软件: Visual Basic;OpenGL;VisualStudio。NET…
主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…

科内克特

84份文件引用(2014–2023)
软件作者: J.库内吉斯
相关软件: SNAP;plfit;帕杰克…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

琼博

79份文件引用(2002–2023)
软件作者: Colella,P.,Graves,D.T.,Ligocki,T.J.,Martin,D.F.,Modiano,D.,Serafini,D.B.,Straalen,B.V。;ANAG公司
相关软件: 帕拉梅什;p4测试;SAMRAI…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

混合工具

67篇文献引用(2010–2023)
软件作者: T.Benaglia、D.Chauveau、D.R.Hunter、D.Young
相关软件: R;mclust;flexmix…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

停机坪

80篇文献引用(1991–2023)
软件作者: 珍妮特·伯特朗;安托万·米内
相关软件: ASTREE公司;PPL;z3…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

SU2公司

77份文件引用(2014–2023)
软件作者: T.D.Economon、F.Palacios、S.R.Copeland、T.W.Lukaczyk、J.J.Alonso
相关软件: OpenFOAM;Spalart-Allmaras;Gmsh…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

坎特拉

69篇文献引用(2009–2023)
软件作者: D.Goodwin、N.Malaya、H.Moffat、R.Speth
相关软件: GRI-科技3.0;CHEMKIN公司;OpenFOAM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

CUBIT公司

77份文件引用(1996–2023)
软件作者: 桑迪亚国家实验室
相关软件: PETSc公司;特里利诺斯;Gmsh…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段