×

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

CAV汽车

13份文件引用(2011–2023)
软件作者: 布莱恩·纳卡穆拉
相关软件: GJsqfree;GJSAW;GJ系列…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);代数几何(14-XX)…

CLT公司

引用于9份文件(2009–2023)
软件作者: 多伦·齐尔伯格
相关软件: 双变种妈妈;组织环境信息系统;stCore…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

Algolib公司

5份文件引用(2004–2022)
软件作者: INRIA的Algo团队
相关软件: 枫树;组织环境信息系统;HOL灯光…
主要字段: 阶、格、有序代数结构(06-XX);数论(11-XX);计算机科学(68-XX)

QuickLex公司

3份文件引用(2016–2021)
软件作者: Chang,Yen-Jung;维杰·加格。
相关软件: j预测值;AVIO;快速通道…
主要字段: 计算机科学(68-XX)

筛选结果依据…