×

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

引文 按字母顺序

CoFI公司

40篇文献引用（1997年至2017年）
软件作者： 彼得·莫塞斯（Peter D.Mosses）。
相关软件： CASL；ATERM；玛雅…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…

VFC包

24篇文献引用(2015–2023)
软件作者： 对不起，约翰
相关软件： –
主要字段： 代数几何（14-XX）；几个复变量与解析空间（32-XX）；动力系统和遍历理论（37-XX）…

堆栈项目

8份文件引用(2016–2022)
软件作者： 哥伦比亚.edu
相关软件： 单一；CAP；RegularChains…
主要字段： 交换代数（13-XX）；代数几何（14-XX）；代数拓扑（55-XX）…

SQL证书

1份文件引用(2018)
软件作者： Benzaken，V.，Contejean，E。
相关软件： 序列；HoTTSQL；Why3…
主要字段： 计算机科学（68-XX）

UALib（通用图书馆）

在0个文档中引用
软件作者： 威廉姆·德米欧
相关软件： 阿格达
主要字段： –

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段