Jordan范式 8份文件引用(2016–2024) 软件作者: 雷内·蒂埃曼;山田秋久 相关软件: Isabelle/HOL;归档正式校对;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);数值分析(65-XX)…
十亿立方米 1份文件引用(2023) 软件作者: 张崇林;杰瑞特·戴蒙德;卡梅隆·W·史密斯。;谢泼德(Mark S.Shephard)。 相关软件: PUMIPic公司;科科斯;PETSc公司 主要字段: 流体力学(76-XX);天文学和天体物理学(85-XX)