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)…
晶体09 4份文件引用(2001–2012) 软件作者: Yu Zhuravlyov。编号。;V.M.Lisitsyn。 相关软件: 晶体;高斯人;QMCPACK… 主要字段: 经典热力学,传热(80-XX);量子理论(81-XX);统计力学,物质结构(82-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… 主要字段: –
词汇图 引用于2份文件(1992–2001) 软件作者: 西蒙·迪克(Simon Dik);威廉·梅伊斯(Willem Meijs);派克·沃森 相关软件: 莫库姆;中医药;WordNet++… 主要字段: 计算机科学(68-XX)
迷你黄铜 1份文件引用(2018) 软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫 相关软件: 微量锌;JuMP;古罗比… 主要字段: 运筹学,数学编程(90-XX)
RSCFHF公司 引用于2份文件(1999年至2019年) 软件作者: Chernysheva有限责任公司。;亚霍恩托夫,V.L。 相关软件: GRASP92级 主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-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)
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份文件引用(2023) 软件作者: 作者:Kennedy,E.H。;Balakrishnan,S。;洛杉矶Wasserman。 相关软件: 护林员;R(右) 主要字段: 统计学(62-XX)
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… 主要字段: –
符号数字集成.jl 1份文件引用(2022) 软件作者: 伊朗文,沙赫里亚尔;卡尔·朱利叶斯·马滕森;亚历山德罗·切利;沙什·高达(Shashi Gowda);阿南德·杰恩(Anand Jain);马英波;克里斯·拉卡卡斯 相关软件: 建模工具包.jl;SymPy;数据驱动DiffEq.jl… 主要字段: 计算机科学(68-XX)
东京 1份文件引用(2015) 软件作者: 小野、肖塔;野口佳彦;Sahara、Ryoji;川泽义行;哦,不,高茹 相关软件: – 主要字段: 偏微分方程(35-XX);量子理论(81-XX);统计力学,物质结构(82-XX)