×

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

HARP(HARP)

在15份文件中引用(1990–2020)
软件作者: Opacher,F。;苏恩,E
相关软件: SETHEO公司;TPTP;3TAP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

夏普

4份文件引用(2018–2023)
软件作者: Mohamad Shalaby、Avery E.Broderick、Philip Chang、Christoph Pfrommer、Astrid Lamberts、Ewald Puchwein
相关软件: 蛋白石;AMReX;ORB5…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

蒂尼

1份文件引用(2022)
软件作者: R.Duda、J.Keski-Rahkonen、J.Solanpää、E.Räsänen
相关软件: 蟒蛇;SciPy;GitHub…
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

建筑师

1份文件引用(2016)
软件作者: 马西莫,F。;Atzeni,S。;A.马洛奇诺。
相关软件:
主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX)

Magma2公司

1份文件引用(1984)
软件作者: 佛朗哥·都灵
相关软件: MAGMA-部署
主要字段: 计算机科学(68-XX)

筛选结果依据…