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)