×

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

SOCS系统

180篇文献引用(1999–2024)
软件作者: 波音公司;Betts,J.T。;W.P.哈夫曼
相关软件: Ipopt;GPOPS;SNOPT…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

MKL公司

158份文件引用(2002–2024)
软件作者: 英特尔
相关软件: LAPACK;BLAS;CUDA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

火焰

39篇文献引用(1997–2022)
软件作者: 保罗·比伦特斯;恩里克·S·金塔纳·奥尔蒂。;范德盖恩(Robert A van de Geijn)
相关软件: LAPACK;BLAS;图集…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

数学检查

13份文件引用(2015–2021)
软件作者: 明亮,柯蒂斯;Ganesh,维杰;阿尔伯特·海因勒;科齐里亚斯、伊利亚斯;赛义德·内贾蒂;Czarnecki,Krzysztof;爱德华·祖尔科斯基
相关软件: 山猫;枫树;FFTW…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

2页-D2P4

10篇文献引用(2007–2021)
软件作者: 阿尔弗雷多·布塔里;达安布拉,帕斯卡;迪塞拉菲诺,丹妮拉;萨尔瓦多菲利波内
相关软件: MLD2P4;PSBLAS;BoomerAMG…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

矩阵表达式

3份文件引用(2016–2018)
软件作者: 米科·伦克
相关软件: R;LISREL公司;GitHub…
主要字段: 统计学(62-XX)

信封

3份文件引用(2001–2019)
软件作者: 迈克尔·巴泽尔(Michael J.Bardzell)。
相关软件:
主要字段: 结合环与代数(16-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

皮诺奇

2份文件引用(2022)
软件作者: Carpentier,J.,Saurel,G.,Buondonno,G.、Mirabel,J.、Lamiraux,F.、Stasse,O.、Mansard,N。
相关软件: RBDL;Ipopt;强制NLP…
主要字段: 粒子和系统力学(70-XX);系统论;控制(93-XX)

稳定的

2份文件引用(2014–2018)
软件作者: Pavlenko,E。;韦德勒,M。;斯托菲尔,D。;Kunz,W。;等。
相关软件: 单一;宠物老板;ABC…
主要字段: 交换代数(13-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

代码类型

引用于1份文件(2015)
软件作者: 德米特里·特拉泰尔
相关软件: NetKAT;MONA;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

快速垫子

在0个文档中引用
软件作者: 克里斯托夫·瓦格纳(Christoph W.Wagner);塞巴斯蒂安·森珀(Sebastian Semper);扬·基尔霍夫
相关软件: 稀疏矩阵;FFTW;Pygpc…
主要字段:

一般Corr

引用于1份文件(2021)
软件作者: H.D.维诺
相关软件: 邓恩试验;R(右)
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

PathAVI公司

引用于1份文件(2018)
软件作者: Kim,Youngdae;胡贝尔,奥利维尔;迈克尔·C·费里斯。
相关软件: LMGC90;Siconos;FCLIB…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

平滑流形

引用于1份文件(2022)
软件作者: Fabian Immler、Bohua Zhan
相关软件: 伊莎贝尔;Kenzo;传输…
主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)

筛选结果依据…