×

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

运输部

58篇文献引用(1991–2020)
软件作者: Vanderplaats研发公司。
相关软件: IMSL数字图书馆;UMFPACK;ABAQUS/标准…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

NL认证

4份文件引用(2014–2017)
软件作者: 维克托·马格伦
相关软件: OCaml;Coq;索尔利亚…
主要字段: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)…

筛选结果依据…