×

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

水獭

325篇文献引用(1988–2023)
软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
相关软件: TPTP;VAMPIRE公司;SPASS…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

MKL公司

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

费曼图

133篇文献中引用(2000–2024)
软件作者: 哈根·埃克;塞普·库布贝克
相关软件: FormCalc;费恩规则;FeynCalc…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

x行动

121篇文献引用(2008–2024)
软件作者: 何塞·马丁·加西亚
相关软件: xTras;xPerm;xPert…
主要字段: 微分几何(53-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

消防5

60篇文献引用(2015–2024)
软件作者: A.V.斯米尔诺夫。
相关软件: 火灾;LiteRed;Reduze…
主要字段: 全局分析,流形分析(58-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

MAGMA公司

50篇文献引用(2010–2022)
软件作者: J.Dongarra、T.Dong、M.Gates、A.Haidar、S.Tomov、I.Yamazaki
相关软件: 血浆;LAPACK;CUDA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

CARAT公司

46篇文献引用(1998–2023)
软件作者: J.Opgenorth,W.Plesken,T.Schulz;弗兰兹·盖勒
相关软件: 间隙;岩浆;HAP…
主要字段: 数论(11-XX);代数几何(14-XX);群论与推广(20-XX)…

xPerm(xPerm)

37篇文献引用(2008–2023)
软件作者: 何塞·马丁·加西亚
相关软件: x法案;xTras;因瓦…
主要字段: 代数几何(14-XX);微分几何(53-XX);整体分析,流形分析(58-XX)…

加洛普

29篇文献引用(2010–2023)
软件作者: 希尔登布兰德,迪特马尔;乔阿希姆·皮特;安德烈亚斯·科赫
相关软件: 盖根;CLUCalc;GMac…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);几何(51-XX);数值分析(65-XX)…

阿尔多

26篇文献引用(1997–2014)
软件作者: aldor.org;曼纽尔·布朗斯坦
相关软件: AXIOM;枫树;SageMath…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);范畴理论;同调代数(18-XX)…

汞R

21篇文献引用(2011–2022)
软件作者: 中山弘;肯塔州西山;马赛尤基·诺罗;Katsuyoshi Ohara;Sei,Tomonari;高山、Nobuki;Akimichi竹村
相关软件: 瑞萨/阿西尔;DLMF;R、 …
主要字段: 结合环与代数(16-XX);几个复变量与解析空间(32-XX);特殊功能(33-XX)…

吉帕克

引用于20份文件(1994年-2023年)
软件作者: Codsi G。;皮尔逊·K·R。;莫纳什大学商业与经济学院政策研究中心
相关软件: GAMS;路径求解器;MPSGE…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

EPDCOL公司

18篇文献引用(1991–2019)
软件作者: 基斯特,P。;P.H.缪尔。
相关软件: PDECOL;科尔;CWRESX…
主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…

英国石油协会

10篇文献引用(2010–2023)
软件作者: Changbo Chen、Farnam Mansouri、Marc Moreno Maza、Ning Xie、Yuzhen Xie
相关软件: 岩浆;打火石;正则链…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

DAGuE公司

11份文件引用(2011–2019)
软件作者: 乔治·博西尔卡(George Bosilca)、奥雷琳·布特伊勒(Aurelien Bouteiller)、安东尼·达纳利斯(Anthony Danalis)、托马斯·赫劳(Thomas Herault)、皮埃尔·勒马利尼尔(Pierre Lemarinier)、杰
相关软件: LAPACK;血浆;岩浆…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

超级追踪器

12份文件引用(2021–2024)
软件作者: 哈维尔·富恩特斯·马丁(Javier Fuentes-Martin)、马蒂亚斯·科尼格(Matthias König)、朱丽叶·帕格斯(Julie Pagès)、安德斯·埃勒·汤姆森(Anders Eller Thomsen)、费利克斯·威尔施
相关软件: STrEAM;Matchmakereft;CoDEx…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);粒子力学与系统(70-XX)…

S评估

11份文件引用(2013–2020)
软件作者: A.Heinle,V.Levandovsky
相关软件: 符号数据;单一;枫叶…
主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…

occam-pi型

6篇文献引用(2005–2021)
软件作者: 彼得·H·韦尔奇。;弗雷德里克·巴恩斯。
相关软件: 皮克特;韩国石油公司;Boids…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

SERK2v3系列

8份文件引用(2016–2020)
软件作者: Kleefeld,B。;Martín-Vaquero,J。
相关软件: SERK2;RKC;RODAS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

吉特凡·利布

5份文件引用(2016–2020)
软件作者: Böhm,J.,Keicher,S.,Ren,Y。
相关软件: 单一;麦考利2;resolve.lib…
主要字段: 交换代数(13-XX);代数几何(14-XX);微分几何(53-XX)…

CREP公司

5份文件引用(1998–2003)
软件作者: P.Dräxler,R.Nörenberg
相关软件:
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…

检流计

5份文件引用(2009–2019)
软件作者: 席尔瓦,P.F。;J.N.奥利维拉。
相关软件: 菲亚特;维拉斯科;ASTREE…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…

SimpLie公司

5份文件引用(2012–2018)
软件作者: T.坚果
相关软件: github
主要字段: 非结合环与代数(17-XX);拓扑群,李群(22-XX);量子理论(81-XX)…

ATISMART公司

4份文件引用(2015–2023)
软件作者: JoséL.Galán-García、Gabriel Aguilera-Venegas、Pedro Rodríguez-Cielos
相关软件: ATISBAT;马克西玛;枫叶…
主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

CSSim公司

4份文件引用(2007–2009)
软件作者: 菲利普·布鲁克。;理查德·佩奇(Richard F.Paige)。;杰里米·雅各布。
相关软件: 埃菲尔;独家新闻;TCOZ…
主要字段: 计算机科学(68-XX)

libCEED(libCEED)

2份文件引用(2021–2023)
软件作者: 瓦莱丽亚·巴拉;杰德·布朗;杰里米·汤普森;约汉·杜杜伊特
相关软件: PETSc;OCCA;LIBXSMM…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

MathXpert公司

3份文件引用(2005–2014)
软件作者: 迈克尔·比森
相关软件: 马特佩特;数学;枫叶…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

梅兰奇

3份文件引用(2019年-2023年)
软件作者: Degueule T、Combemale B、Blouin A、Barais O、Jézéquel J-M
相关软件: 黑色素;莫德;AToMPM…
主要字段: 计算机科学(68-XX)

东方XA

2份文件引用(2004年至2006年)
软件作者: 孟晓峰;罗道峰;姜瑜;王,于
相关软件: 潜力;火山;PicoDBMS…
主要字段: 计算机科学(68-XX)

PyLab公司

2份文件引用(2013–2016)
软件作者: SciPy开发人员
相关软件: Matlab;莎莉;韦卡…
主要字段: 计算机科学(68-XX)

AsirPad软件

在0个文档中引用
软件作者: 藤本,M.,铃木,M。
相关软件: 安卓上的Maxima;Risa/Asir公司
主要字段: 计算机科学(68-XX)

数学TOUCH

2份文件引用(2018)
软件作者: Shirai,Shizuka;福井、铁雄;吉多米,肯塔罗;川崎,三井;中原、高弘;中村康树;Kato,Katsuya;田口,Tetsuya
相关软件: 马克西玛;MeLQS;数学…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

pfd并联

2份文件引用(2024)
软件作者: Dominik Bendle、Janko Boehm、Murray Heymann、Rourou Ma、Mirko Rahn、Lukas Ristau、Marcel Wittmann、Zihao Wu、Yang Zhang
相关软件: GPI空间;单一;垃圾邮件…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);数值分析(65-XX)…

石板

2份文件引用(2018–2021)
软件作者: 马克·盖茨(Mark Gates)、雅库布·库扎克(Jakub Kurzak)、阿里·查拉拉(Ali Charara)、阿西姆·亚尔汗(Asim YarKhan)、杰克·东加拉(Jack Dongarra)
相关软件: LAPACK;LINPACK;BLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)

阿尔卡霍斯特三世

1份文件引用(1990)
软件作者: 惠誉,J。;诺曼,A。;摩尔,医学硕士。
相关软件: DEtools;NEWEUL公司;SPDE…
主要字段: 场论与多项式(12-XX);常微分方程(34-XX);计算机科学(68-XX)

博达RTC

在0个文档中引用
软件作者: 马修·莫斯科维奇、福雷斯特·兰多拉、库尔特·凯泽尔
相关软件: Snapdragon;clBLAS;clpeak…
主要字段:

PyACA公司

1份文件引用(2020年)
软件作者: 萨约尔斯,纳西斯;塞巴斯蒂亚·桑博·德坎普斯
相关软件: PyECC;朱庇特;麦克利埃塞
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

分段D

1份文件引用(1995年)
软件作者: R.K.赖特
相关软件: 枫树
主要字段: 数值分析(65-XX)

SISLICE公司

1份文件引用(2020年)
软件作者: Williams-Young,David B。;保罗·贝克曼(Paul G.Beckman)。;杨超
相关软件: EVSL;NWChemEx;SIESTA…
主要字段: 数值分析(65-XX)

利比亚人

在0个文档中引用
软件作者: Stéphane Magnenat酒店
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件