×

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

ETPS公司

162篇文献引用(1986–2022)
软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning
相关软件: TPS;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

引用于73份文件(2009–2018)
软件作者: 梅耶,卢卡斯;Sara van de Geer;彼得·伯尔曼;曼努埃尔·尤格斯特。。。
相关软件: 半标准杆;R;gss…
主要字段: 功能分析(46-XX);概率论与随机过程(60-XX);统计学(62-XX)…

CeTA公司

49篇文献引用(2009–2023)
软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔
相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…

x珀特

43篇文献引用(2009–2023)
软件作者: David Brizuela;何塞·M·马丁·加西亚。;Mena Marugán,Guillermo A。
相关软件: x法案;xTras;x张量…
主要字段: 算子理论(47-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

DIP公司

23篇文献引用(2005–2023)
软件作者: T.K.拉尔夫、M.V.加拉蒂。
相关软件: SCIP;GCG;BaPCod…
主要字段: 组合数学(05-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

数学张量

21篇文献引用(1997–2021)
软件作者: 史蒂文·克里斯滕森(Steven M.Christensen)。
相关软件: ATENSOR公司;Mathematica;卡达布拉…
主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…

CFX-5型

16篇文献引用(2005–2016)
软件作者: 罗兰德·瓦什内尔(Roland Wüchner);亚历山大·库普佐克(Alexander Kupzok);凯乌·布莱辛格
相关软件: CARAT公司;ANSYS;FLUENT…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

Mx公司

13份文件引用(2000年至2016年)
软件作者: M C尼尔
相关软件: LISREL公司;R;Mplus…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

GCCA公司

11份文件引用(2011–2022)
软件作者: 阿尼尔·K·塞斯
相关软件: MVGC;大脑连接工具箱;BSMART…
主要字段: 统计学(62-XX);统计力学,物质结构(82-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

数学检查

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

集群ES

11份文件引用(2015–2023)
软件作者: 阿马蒂亚·班纳吉。;莱恩·埃利奥特(Ryan S.Elliott)。;理查德·詹姆斯。
相关软件: CheFSI;ABINIT公司;量子浓缩咖啡…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

6月2日

11份文件引用(1996–2004)
软件作者: 艾伦·海登;格雷格·纳尔逊
相关软件: 天蓝色;MMP/Geometer;梅德勒…
主要字段: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)…

科尔西卡

引用于8份文件(2011–2022)
软件作者: 迪特尔·赫克;Tanguy Pierog;J.Oehlschläger;R.恩格尔
相关软件: R;GEANT4;物理单位…
主要字段: 统计学(62-XX);计算机科学(68-XX);量子理论(81-XX)…

CP2K系统

5份文件引用(2016–2023)
软件作者: https://sourceforge.net/p/cp2k/_成员/; Hutter J.、Iannuzzi M.、Schiffmann F.、VandeVondele J。
相关软件: 量子浓缩咖啡;地址;西北化工…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

CalCS公司

引用于8份文件(2013–2019)
软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。
相关软件: dReal;z3;dReach…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…

特蕾西斯塔

7份文件引用(2008–2021)
软件作者: Brandbyge,Mads;Mozos,J.L。;Ordejon,P。;泰勒,杰里米·菲利普;库尔特·斯托克布罗
相关软件: 宽特;纳米TCAD ViDES;SMEAGOL…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);数值分析(65-XX)…

ArcAngelC公司

5份文件引用(2010–2015)
软件作者: 马塞尔·奥利维拉(Marcel Oliveira);Zeyda,Frank;安娜·卡瓦尔坎蒂
相关软件: 马戏团;Z;电源保护…
主要字段: 计算机科学(68-XX)

舒尔林斯

5份文件引用(2014年至2022年)
软件作者: Raicu,C。;迈克尔·E·斯蒂尔曼。
相关软件: 麦考利2号;贝尔蒂尼;SLA…
主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…

copBasic公司

4份文件引用(2019–2024)
软件作者: 威廉·阿斯奎斯
相关软件: CopulaModel;gcmr;连接词…
主要字段: 统计学(62-XX)

晶体09

4份文件引用(2001–2012)
软件作者: Yu Zhuravlyov。编号。;V.M.Lisitsyn。
相关软件: 晶体;高斯人;QMCPACK…
主要字段: 经典热力学,传热(80-XX);量子理论(81-XX);统计力学,物质结构(82-XX)

罗马

4份文件引用(2018–2022)
软件作者: 米海轮谷
相关软件:
主要字段: 系统论;控制(93-XX)

WSINDy公司

4份文件引用(2022–2023)
软件作者: 信使Daniel A。;大卫·M·博茨。
相关软件: 乐团-SINDy;生物贝叶斯;PySINDy…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

向往

3份文件引用(2019–2023)
软件作者: 普林斯顿大学
相关软件: 奇美拉;crYOLO;FINUFFT…
主要字段: 特殊功能(33-XX);抽象谐波分析(43-XX);光学、电磁理论(78-XX)…

Dftatom公司

3份文件引用(2013–2020)
软件作者: 乔尔蒂克,Ondřej;约翰·帕斯克(John E.Pask)。;Vackář,Jiൿí
相关软件: Libxc;道尔顿;DFT-FE…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);量子理论(81-XX)…

TSAT公司++

3份文件引用(2005–2008)
软件作者: 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金奇利亚(Enrico Giunchiglia);马西莫·伊迪尼;马可·马拉提亚
相关软件: CVC;SMT-LIB;箔条…
主要字段: 计算机科学(68-XX)

3BA公司

引用于2份文件(2018)
软件作者: Horáckek,Jan;马丁·克鲁泽
相关软件: LELA;GBLA;安东尼…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)

决定-o-rama

1份文件引用(2021)
软件作者: Chacon-Hurtado J.C.和Scholten L。
相关软件: MOEA/D;scikit-mcda;PyTOPS…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

渐变部分

引用于2份文件(1999–2007)
软件作者: 托马斯·格吕纳
相关软件: 鹦鹉螺;植物;CaGe…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

图形变量

在0个文档中引用
软件作者: Lea Waller;阿纳斯塔西娅·布罗夫金;Lena Dorfschmidt;Danilo Bzdok;亨利克·沃尔特;约翰·丹尼尔·克鲁斯威茨
相关软件: BrainNet查看器;eConnectome;Matlab…
主要字段:

InvA公司

引用于2份文件(2014–2020)
软件作者: 卡米洛·罗查;何塞·梅塞盖尔
相关软件: 莫德;PKind;HyComp…
主要字段: 计算机科学(68-XX)

词汇图

引用于2份文件(1992–2001)
软件作者: 西蒙·迪克(Simon Dik);威廉·梅伊斯(Willem Meijs);派克·沃森
相关软件: 莫库姆;中医药;WordNet++…
主要字段: 计算机科学(68-XX)

迷你黄铜

1份文件引用(2018)
软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫
相关软件: 微量锌;JuMP;古罗比…
主要字段: 运筹学,数学编程(90-XX)

电话

1份文件引用(2011年)
软件作者: 达里奥·阿尔弗雷
相关软件: PHONON;车灯;ABINIT…
主要字段: 偏微分方程(35-XX);数值分析(65-XX)

RSCFHF公司

引用于2份文件(1999年至2019年)
软件作者: Chernysheva有限责任公司。;亚霍恩托夫,V.L。
相关软件: GRASP92级
主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)

数据库管理员

1份文件引用(2012)
软件作者: Marc Solé,Josep Carmona
相关软件: 协同效应;正式舞会
主要字段: 计算机科学(68-XX)

德尔

1份文件引用(2020)
软件作者: Skretting,K。
相关软件: Matlab公司
主要字段: 信息与通信理论,电路(94-XX)

DR_HAWT(拖车)

1份文件引用(2016)
软件作者: K.Lee Slew、M.Miller、A.Fereidooni、P.Tawagi、G.El Hage、M.Hou、E.Matida
相关软件: XFOIL;ParaView视图
主要字段: 可变形固体力学(74-XX);流体力学(76-XX)

边缘计数

1份文件引用(2011年)
软件作者: Abhishek K.Singh。;Evgeni S.佩内夫。;鲍里斯·雅各布森。
相关软件: VMD;LattE;数学软件
主要字段: 统计力学,物质结构(82-XX)

FMP笔记本

在0个文档中引用
软件作者: 梅纳德·米勒;弗兰克·扎尔科夫
相关软件: SM工具箱;Tempogram工具箱;Matlab…
主要字段:

HybCore公司

1份文件引用(2020)
软件作者: 谢尔盖·冈查洛夫(Sergey Goncharov);内维斯(Neves)、雷纳托(Renato);何塞·普伦萨
相关软件: OCaml;GHCi;操作(U)…
主要字段: 计算机科学(68-XX)

谎言分析

1份文件引用(2021)
软件作者: Martin,F.、Bekkers,E.、Duits,R。
相关软件: 纤维盒
主要字段: 偏微分方程(35-XX);微分几何(53-XX);计算机科学(68-XX)…

百万英里

1份文件引用(2021)
软件作者: 乔纳森·巴特利特
相关软件: SAS;bootImpute;smcfcs…
主要字段: 统计学(62-XX)

非因果的

1份文件引用(2023)
软件作者: 作者:Kennedy,E.H。;Balakrishnan,S。;洛杉矶Wasserman。
相关软件: 护林员;R(右)
主要字段: 统计学(62-XX)

第3页

在0个文档中引用
软件作者: 福费赞,基督徒;迈克尔·斯佩克特
相关软件:
主要字段:

QuantumATK公司

在0个文档中引用
软件作者: Smidstrup,S。;Markussen,T。;范克雷维尔德,P。;韦伦多夫,J。;施耐德,J。;Gunst,T。;Verstichel,B。;斯特拉迪,D。;Khomyakov,P.A。;Vej-Hansen,英国。;李,M.E。;Chill,S.T。;拉斯穆森,F。;佩纳齐,G。;科尔塞蒂,F。;Ojanperä,A。;Jensen,K。;Palsgaard,M.法律公告。;马丁内斯,美国。;布洛姆,A。;Brandbyge,M。;斯托克布罗,K。,
相关软件: IFermi;CASTEP公司;scikit-image…
主要字段:

SCORIGHT公司

1份文件引用(2016)
软件作者: Wang,X.、Bradlow,E.T.、Wainer,H。
相关软件: Mplus;fda(右)
主要字段: 统计学(62-XX)

符号数字集成.jl

1份文件引用(2022)
软件作者: 伊朗文,沙赫里亚尔;卡尔·朱利叶斯·马滕森;亚历山德罗·切利;沙什·高达(Shashi Gowda);阿南德·杰恩(Anand Jain);马英波;克里斯·拉卡卡斯
相关软件: 建模工具包.jl;SymPy;数据驱动DiffEq.jl…
主要字段: 计算机科学(68-XX)

定时自动机

1份文件引用(2016)
软件作者: 西蒙·威默
相关软件: 存档正式证据;HOL;Uppaal…
主要字段: 计算机科学(68-XX)

东京

1份文件引用(2015)
软件作者: 小野、肖塔;野口佳彦;Sahara、Ryoji;川泽义行;哦,不,高茹
相关软件:
主要字段: 偏微分方程(35-XX);量子理论(81-XX);统计力学,物质结构(82-XX)

CI-MBPT公司

在0个文档中引用
软件作者: M.G.Kozlov、S.G.Porsev、M.S.Safronova、I.I.Tupitsyn
相关软件:
主要字段:

游戏

在0个文档中引用
软件作者: 尼古拉·奥西尼(Nicola Orsini);黛博拉·里祖托(Debora Rizzuto);尼古拉·南特
相关软件:
主要字段:

肯尼亚先令

在0个文档中引用
软件作者: 刘强、康敏
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件