×

找到4个软件包（结果1-4）

引文 按字母顺序

真实图书馆

16篇文献引用(2006–2023)
软件作者： 布兰尼米尔·兰博夫
相关软件： iRRAM；MPFR；RZ…
主要字段： 数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；测量和集成（28-XX）…

SLV公司

2份文件引用（2016年至2019年）
软件作者： 伊莱亚斯·齐加里达斯
相关软件： 枫树；ANewDsc；微小的…
主要字段： 场论与多项式（12-XX）；数值分析（65-XX）；计算机科学（68-XX）

AERN公司

1份文件引用(2014)
软件作者： Michal Konecny公司
相关软件： PolyPaver；国际RRAM
主要字段： 数值分析（65-XX）

Sheafhom 2.0型

1份文件引用(2007)
软件作者： 马克·麦康奈尔
相关软件： Sheafhom；麦考莱2
主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段