×

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

GHC公司

96篇文献引用(1992–2021)
软件作者: 西蒙·佩顿(Simon Peyton)琼斯(Jones);西蒙·马洛
相关软件: 哈斯克尔;毫升;OCaml…
主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)…

电子电池

18篇文献引用(2003–2019)
软件作者: M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter;C A和记黄埔
相关软件: GEPASI;KEGG;虚拟单元格…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

T化学

11份文件引用(2013–2024)
软件作者: C.Safta、H.Najm、O.Knio
相关软件: CHEMKIN公司;坎特拉;GRI-科技3.0…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…

MFSAS公司

1份文件引用(2016)
软件作者: Aaron Childs;陈亚林
相关软件: R;验收抽样;闪亮的
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

筛选结果依据…