×

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

HYPLAS公司

236篇文献引用(1996–2023)
软件作者: De Souza Neto EA、PerićD、Owen DRJ
相关软件: ABAQUS;FEAPpv;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

卡达布拉

104篇文献引用(2007–2023)
软件作者: 卡斯珀·皮特斯;利奥·布雷文
相关软件: xPerm;Mathematica;xAct…
主要字段: 偏微分方程(35-XX);微分几何(53-XX);粒子力学与系统(70-XX)…

短讯服务

38篇文献引用(1997–2023)
软件作者: 乔·科勒克
相关软件: Mathematica;AceFEM;AceGen…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

qGCL公司

25篇文献引用(2000–2024)
软件作者: 保罗·祖利亚尼
相关软件: QPL;质量管理清单;Quipper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

PAG公司

20篇文献引用(1996-2018)
软件作者: 弗洛里安·马丁
相关软件: NINJA公司;BLAS;MPI/MPICH…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)…

菲亚特

17篇文献引用(2015年至2022年)
软件作者: Delaware,B.,Claudel,C.P.,Gross,J.,Chlipala,A。
相关软件: Coq;伊莎贝尔·霍尔;CertiCoq…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

ZRC公司

11份文件引用(1998–2015)
软件作者: 卡瓦尔坎蒂,A.L.C.,伍德考克,J.C.P。
相关软件: 马戏团;Z;电源保护…
主要字段: 计算机科学(68-XX)

孩子

11份文件引用(1992–2021)
软件作者: D.R.史密斯
相关软件: 定理;ALISA;TAMPR…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)

TopLog(顶部日志)

8份文件引用(2008–2021)
软件作者: 史蒂芬·H·马格尔顿(Stephen H.Muggleton)。;乔斯·卡洛斯·阿尔梅达·桑托斯;塔马多尼·内扎德(Alireza Tamaddoni-Nezhad)
相关软件: 阿列夫;太阳能;GitHub…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

AoPA公司

8份文件引用(2009–2017)
软件作者: Mu,Shin-Cheng;Ko、Xiang-Shang;帕特里克·詹森
相关软件: 阿格达;Coq;Idris…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

TAMPR公司

6篇文献引用(1997–2011)
软件作者: 詹姆斯·M·博伊尔。;特伦斯·J·哈默。;维特·L·温特。
相关软件: Stratego;GHC;ATERM…
主要字段: 计算机科学(68-XX)

wREFERASS公司

6篇文献引用(2011–2016)
软件作者: F.Garcia-Sevilla、E.Arribas、H.Bisswanger、M.Garcia-Moreno、F.Garcia-Canovas、Gomez Ladron、R.de Guevara、R.G.Duggleby、J.M.Yago、R.Varon
相关软件: 天空-2013
主要字段: 经典热力学,传热(80-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

CrashDSE(崩溃DSE)

5份文件引用(2012–2020)
软件作者: 马库斯·胡贝尔。;马里奥·米特
相关软件: Mathematica;表格;FeynCalc…
主要字段: 差分方程和函数方程(39-XX);量子理论(81-XX)

草地保护区

3份文件引用(2014年至2021年)
软件作者: Vanaverbeke,S。;吉本斯,R。;波茨,S。
相关软件: CARMEN-MHD;闪光;地图…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

MinC公司

2份文件引用(2016)
软件作者: Ed Robbins;安迪·金;汤姆·施里杰弗斯
相关软件: MinX公司
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

MinX公司

2份文件引用(2016)
软件作者: Ed Robbins;安迪·金;汤姆·施里杰弗斯
相关软件: MinC公司
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

TROVE公司

2份文件引用(2017–2018)
软件作者: 谢尔盖·尤尔琴科(Sergei N.Yurchenko);沃尔特·泰尔;佩尔·延森
相关软件: MCTDH;ARPACK;输入。F90…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);量子理论(81-XX)…

VERL(垂直)

2份文件引用(2012–2013)
软件作者: 斯坦·罗森博格
相关软件: 布吉;简化;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿尔卡霍斯特三世

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

拉尔

1份文件引用(1989)
软件作者: J.格罗施
相关软件: 埃勒;雷克斯;Modula公司
主要字段: 计算机科学(68-XX)

参数拟合

在0个文档中引用
软件作者: 罗宾·贝茨(Robin M Betz);罗斯·C·沃克
相关软件: 蟒蛇;ReaxFF;mpi4py…
主要字段: ——

SPFAC公司

1份文件引用(2007)
软件作者: Grunsky,E.C.,Agterberg,F.P。
相关软件: AS 211标准
主要字段: 统计学(62-XX);地球物理学(86-XX)

SYMOP公司

1份文件引用(1984)
软件作者: Burzlaff,H。;齐默尔曼,H。
相关软件: ——
主要字段: 群论和概括(20-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)

VEROAD公司

1份文件引用(2010)
软件作者: P.C.霍普曼
相关软件: ALIZE-LCCP;ViscoRoute;游猎
主要字段: 可变形固体力学(74-XX)

FME-IT公司

在0个文档中引用
软件作者: Ido B.Gattegno、Ziv Goldfeld、Haim H.Permuter
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件